Lambda the Ultimate

type	title	author	last post
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Dude by dmbarbour that would imply the by dmbarbour	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome Approximation by piecewise-nice functions by dmbarbour consider this function by dmbarbour wiring just falls out by dmbarbour continuous state by dmbarbour zero crossings by dmbarbour continuous time is okay by dmbarbour Counterpoint by dmbarbour Low vs. High level representations by dmbarbour not retained mode by dmbarbour virtual DOM by dmbarbour ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments Computable Comments, Tangible Comments by dmbarbour	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Impure program search by dmbarbour any mathematical model of by dmbarbour	Rys McCusker	2014-05-21 23:10
Forum topic	Sectioning a chain of operators and dot as reverse application I was thinking D might have by dmbarbour x.foo(y) = foo(x,y) by dmbarbour	Matt M	2014-05-12 18:17
Forum topic	Value-level programming ML specific by dmbarbour terminology by dmbarbour Mixed feelings by dmbarbour	Vladimir Slepnev	2014-05-08 19:51
Forum topic	LtU now supports Mathjax This sentence is false. by dmbarbour	Anton van Straaten	2014-05-05 14:47
Forum topic	Alternatives to ADL? Many languages fit the by dmbarbour Fourth option by dmbarbour	Talin	2014-05-02 21:27
Forum topic	Giant list of visual PLs Do you really think screen by dmbarbour We'll see. I imagine speech by dmbarbour UI real estate in the future by dmbarbour	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Introduction to processes (Tony Hoare's CSP processes) deterministic process models by dmbarbour	hbrandl	2014-04-29 21:48
Forum topic	Aha moment From 2002 by dmbarbour	Ehud Lamm	2014-04-29 06:07
Forum topic	Inquiry into the nature of software complexity. There are ways to precisely by dmbarbour opaque with respect to the dimension under study by dmbarbour re AI by dmbarbour messes and markets by dmbarbour absolute or relative? by dmbarbour Looking around at the market by dmbarbour	bryanedds	2014-04-24 20:30
Forum topic	Diseases in Code Falsifiability by dmbarbour *** * ** ***** by dmbarbour	bryanedds	2014-04-23 15:23
Story	.NET Compiler Platform ("Roslyn") Slate by dmbarbour notoriously hard to debug, by dmbarbour by converting control flow by dmbarbour what do you gain by that by dmbarbour N-1 or N+1 of N features by dmbarbour OMeta is a library that has by dmbarbour Parsers should be argued from toolset, not hosting paradigm by dmbarbour Parser combinators by dmbarbour traits, dci by dmbarbour Pattern Matching by dmbarbour ...	Ehud Lamm	2014-04-22 23:53
Forum topic	Detected contradictions in large information systems That is only the case if 'P' by dmbarbour	Hewitt	2014-04-22 11:45
Forum topic	Designing an alternative to s-expressions for language extensibility [meta] broken EMSIP links by dmbarbour O expressions by dmbarbour	Olivier Breuleux	2014-04-20 21:03
Story	Study finds that when no financial interests are involved programmers choose DECENT languages More fundamental than DNN by dmbarbour AI needs good PLs with by dmbarbour	Ehud Lamm	2014-04-15 05:59
Forum topic	Leslie Lamport: Thinking for Programmers Exploratory programming by dmbarbour	Charles Torre	2014-04-12 13:41
Forum topic	HyperCard and PL as powerful but hard to use interface PL as UI by dmbarbour	Rys McCusker	2014-04-11 03:39
Forum topic	Multimethods over structural types Favoring Explicit by dmbarbour	Benjohn Barnes	2014-04-07 13:08
Forum topic	Toward a better programming Useful Coupling of Concerns by dmbarbour	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? String Representation not resolved... by dmbarbour Agreed, but... by dmbarbour Not in general, no... by dmbarbour No language expressive by dmbarbour Formal Semantics Unresolved by dmbarbour Is Formal Semantics a Resolved Debate? by dmbarbour Language defined in Language by dmbarbour If you point at the by dmbarbour First Class Locality by dmbarbour UTF-8 reading, writing, and by dmbarbour ...	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future nonces with assertEq by dmbarbour and check that the reference by dmbarbour control of effects by dmbarbour	bashyal	2014-03-26 03:53
Forum topic	"null" is to tagged unions as ???? is to records Pointer arithmetic by dmbarbour	Kannan Goundan	2014-03-22 20:06
Forum topic	Julia has no dependent types Ideally, dependent types are by dmbarbour	andrew cooke	2014-03-13 16:43
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation