recent posts

typetitleauthor sort iconlast post
StoryHow to Make Ad Hoc Proof Automation Less Ad Hoc Paul Snively2012-07-24 00:43
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
StoryOCaml 3.11.0-beta1 Available Paul Snively2008-10-20 08:27
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StorySyntactic Proofs of Compositional Compiler Correctness Paul Snively2010-01-09 17:22
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
StoryConstraint-based type inference for guarded algebraic data types Paul Snively2006-02-07 15:19
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16