recent posts

type sort icontitleauthorlast post
Forum topicQuotation and evaluation -- or, how pure is the pure lambda calculus? Lucius Gregory Meredith2007-01-04 11:24
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
Forum topicWhy Johnny can't code Matthew Willson2007-01-04 22:54
Forum topicMonads in C++ Bartosz Milewski2011-07-15 23:24
Forum topicQuestion about closures and higher-order functions A B Carter2007-01-02 22:12
Forum topicPeak Abstraction Sean McDirmid2012-02-06 17:19
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
Forum topicImplementor's guide/tutorial to delimited continuations? Manuel J. Simoni2011-08-02 18:56
Forum topicTheme styles Graven2007-06-06 05:30
Forum topicTeaching challenge: culturally enriching formulae-as-types Charles Stewart2012-02-18 22:10