recent posts

typetitleauthor sort iconlast post
StoryAlloy: A Simple Structural Modeling Language Based on First-Order Logic Paul Snively2005-11-03 22:50
StoryAchieving Security Despite Compromise Using Zero-Knowledge Paul Snively2009-06-19 10:19
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
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
StoryTheorem proving support in programming language semantics Paul Snively2008-01-13 07:36
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42