recent posts

typetitleauthor sort iconlast post
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42
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
StoryType inference for correspondence types Paul Snively2008-12-09 18:46
StoryDana Paul Snively2009-02-28 13:41