recent posts

typetitleauthor sort iconlast post
StoryDelimited Control in OCaml, Abstractly and Concretely, System Description Paul Snively2010-01-26 14:22
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
StoryHashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. Paul Snively2008-01-17 00:24
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
StorySyntactic Proofs of Compositional Compiler Correctness Paul Snively2010-01-09 17:22
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
StoryType inference for correspondence types Paul Snively2008-12-09 18:46