recent posts

type sort icontitleauthorlast post
Forum topicInference of Polymorphic Recursion Matt M2017-02-07 04:40
Forum topicFringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language drcode2008-10-05 17:42
Forum topicTiered approaches to higher order programming? John Nowak2009-03-22 19:38
Forum topicDesigning a languge — what theory is a must? pgregory2012-09-28 19:01
Forum topicStaapl: Forth on Scheme for embedded controllers raould2008-08-16 20:22
Forum topicDo I need a forall if type parameters are syntactically distinguishable from type constructors? Manuel J. Simoni2010-09-07 15:13
Forum topicInterview with Scala's Martin Odersky Sean McDirmid2011-07-16 13:49
Forum topicLambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009 Marlene Miller2010-06-01 05:00
Forum topicCéu: Structured Synchronous Reactive Programming (SSRP) fsantanna2017-02-09 16:05
Forum topicInterview [Video] -> Simon Peyton-Jones - Closer to Nirvana Charles Torre2011-12-28 06:55