typetitleauthorlast post sort icon
StoryMatching Objects With Patterns Matt Hellige2012-08-31 07:43
Forum topicCrafting a toy language for learning purposes helltone2012-08-21 17:39
StoryThe Art of the Propagator neelk2010-10-25 06:59
StoryLifted inference: normalizing loops by evaluation Ehud Lamm2010-09-22 22:18
Forum topicTcl the Misunderstood namin2010-04-09 02:54
StoryLambda, the Ultimate TA Ehud Lamm2009-11-05 17:26
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
Forum topicReasonig about combinators (a lambda-calculus puzzle on composing compositions) namin2009-01-06 07:29
Forum topicJMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework namin2009-01-06 04:54
Forum topicLearning Pragmatics of Implementing a "Modern" Type Systems scottmcl2009-01-02 22:51
StoryMicrosoft Oslo Ehud Lamm2008-12-09 21:04
StoryRelational Parametricity and Units of Measure neelk2008-09-10 20:11
StoryChurch’s Thesis and Functional Programming Chris Rathman2008-07-22 00:14
Forum topicEOPL3 Ehud Lamm2008-05-15 04:57
StoryThe Reasoned Schemer Matt Hellige2008-02-22 11:44