recent posts

typetitleauthor sort iconlast post
Forum topicComputer Science/Mathematical Notations Patrick Dewane2009-08-31 23:58
Forum topicGrad School advice Patrick Schultz2004-08-23 20:26
Forum topicPerl and Haskell patrickdlogan2005-09-30 14:15
Forum topicAlex Stepanov's papers Paul McJones2005-02-28 20:44
Forum topicArchiving LISP history Paul McJones2005-05-26 02:28
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryConstraint-based type inference for guarded algebraic data types Paul Snively2006-02-07 15:19
StoryMechanized λ<sub>JS</sub> Paul Snively2012-07-25 13:37
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51