Sam Lindley

typetitleauthor sort iconlast post
Forum topicDatabase programming language review davidb2015-07-23 00:44
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topicAre extensible records first class patterns? Douglas McClean2011-11-07 03:49
StoryExtensible Programming with First-Class Cases naasking2011-11-05 14:53
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Forum topicLooking for a proof that eager reduction is as strong as lazy reduction marco2010-06-20 04:28
Forum topicImplementation of Cardelli and Daan Leijen Style Record Systems? scottmcl2009-12-14 21:20
Forum topicExtensible tuples? Alex Rubinsteyn2008-11-17 18:04
StoryArrows generalise monads and idioms Charles Stewart2008-05-18 12:34
Forum topicWhy people don't use functional programming? Gergely Buday2007-06-09 16:40
StorySpecifying ECMAScript via ML Dave Herman2007-02-13 18:03
StoryLinks Demos Matthew Morgan2005-07-01 15:11