Lambda the Ultimate

type	title	author	last post
Forum topic	Database programming language review Status of Links by Sam Lindley	davidb	2015-07-23 00:44
Forum topic	Languages with 'unique' programs Given any deterministic by Sam Lindley	dataangel	2012-06-04 11:11
Forum topic	Are extensible records first class patterns? Extensible programming with first-class cases by Sam Lindley	Douglas McClean	2011-11-07 03:49
Story	Extensible Programming with First-Class Cases Links by Sam Lindley	naasking	2011-11-05 14:53
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Better with delimited continuations by Sam Lindley	Douglas McClean	2011-10-14 15:45
Forum topic	The AST Typing Problem This approach can become by Sam Lindley	shap	2011-01-19 03:15
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction As neelk already said, by Sam Lindley	marco	2010-06-20 04:28
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Nice by Sam Lindley Row polymorphism is a kind of parametric polymorphism by Sam Lindley row polymorphism =/= subtyping by Sam Lindley	scottmcl	2009-12-14 21:20
Forum topic	Extensible tuples? Type inference by Sam Lindley	Alex Rubinsteyn	2008-11-17 18:04
Story	Arrows generalise monads and idioms Thanks for the interest in by Sam Lindley	Charles Stewart	2008-05-18 12:34
Forum topic	Why people don't use functional programming? Links is the most popular programming language by Sam Lindley	Gergely Buday	2007-06-09 16:40
Story	Specifying ECMAScript via ML True, but it can be rather by Sam Lindley	Dave Herman	2007-02-13 18:03
Story	Links Demos HTML is not expressive enough by Sam Lindley	Matthew Morgan	2005-07-01 15:11
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