recent posts

typetitleauthor sort iconlast post
StoryHashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. Paul Snively2008-01-17 00:24
StorySyntactic Proofs of Compositional Compiler Correctness Paul Snively2010-01-09 17:22
StoryFoundations of Inference Paul Snively2013-05-21 03:54
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
StoryCertified Web Services in Ynot Paul Snively2009-08-06 20:35
StoryThe YNot Project Paul Snively2012-08-17 23:32
StorySage: A Programming Language With Hybrid Type-Checking Paul Snively2006-11-02 17:52
StoryEnsuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types Paul Snively2009-03-05 17:51
StoryConcoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Paul Snively2006-08-30 17:55