recent posts

typetitleauthor sort iconlast post
StoryTool Demo: Scala-Virtualized Paul Snively2012-05-26 22:28
StoryOCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language Paul Snively2007-11-28 18:52
StoryFoundations of Inference Paul Snively2013-05-21 03:54
StoryConcoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Paul Snively2006-08-30 17:55
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11
StoryA Generic Type-and-Effect System Paul Snively2009-04-17 17:39
StoryCol--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file Paul Snively2006-05-08 04:33
StoryVerifying Semantic Type Soundness of a Simple Compiler Paul Snively2007-04-05 01:39
StoryAlloy: A Simple Structural Modeling Language Based on First-Order Logic Paul Snively2005-11-03 22:50
StoryGradual Typing for Functional Languages Paul Snively2006-09-04 13:48