recent posts

typetitleauthor sort iconlast post
StoryConcoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Paul Snively2006-08-30 17:55
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
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
StoryMilawa on Jitawa: a Verified Theorem Prover Paul Snively2012-02-29 22:34
Forum topicUpdate to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" Paul Snively2008-07-08 20:53
StoryA constraint-based approach to guarded algebraic data types Paul Snively2006-02-07 15:18
StoryGradual Typing for Functional Languages Paul Snively2006-09-04 13:48