recent posts

typetitleauthor sort iconlast post
StoryCertified Programming With Dependent Types Goes Beta Paul Snively2010-01-16 00:10
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
StoryEffective Interactive Proofs for Higher-Order Imperative Programs Paul Snively2010-02-01 03:18
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42
StoryMechanized λ<sub>JS</sub> Paul Snively2012-07-25 13:37
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
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
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
StoryKleisli Arrows of Outrageous Fortune Paul Snively2011-05-19 09:24