recent posts

typetitleauthor sort iconlast post
StoryModule Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Paul Snively2005-12-07 14:58
StoryOtt--a tool for writing definitions of programming languages and calculi. Paul Snively2007-01-23 07:06
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
StoryDelimited Control in OCaml, Abstractly and Concretely, System Description Paul Snively2010-01-26 14:22
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryTheorem proving support in programming language semantics Paul Snively2008-01-13 07:36
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
StoryOCaml 3.11.0-beta1 Available Paul Snively2008-10-20 08:27
StorySyntactic Proofs of Compositional Compiler Correctness Paul Snively2010-01-09 17:22