recent posts

typetitleauthor sort iconlast post
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11
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
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
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