recent posts

typetitleauthor sort iconlast post
Forum topicBF Bignum: A Program Synthesis Game xkapastel2018-08-13 13:12
Forum topicXQuery transition to functional programming language complete ? xquery2013-11-16 08:18
Forum topicLambda the Ultimate Macro xyzzy2006-03-02 17:38
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05
Forum topicFirst-Class Traces xyzzy2006-05-01 20:56
Forum topicDisallow shadowing? Y2014-02-25 02:06
Forum topicHow about switching to Markdown? Y2014-02-15 23:39
Forum topicAxum - A .NET language for safe, scalable and productive parallel programming through isolation, actors and message-passing yang2009-05-15 01:27
StoryOCaml Summer Project Yaron Minsky2008-01-31 02:01
Forum topicTrip Reports on Dagstuhl Live Coding seminar yaxu2013-10-07 12:48