recent posts

typetitleauthor sort iconlast post
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42
StoryConstraint-based type inference for guarded algebraic data types Paul Snively2006-02-07 15:19
StoryMechanized λ<sub>JS</sub> Paul Snively2012-07-25 13:37
StoryKleisli Arrows of Outrageous Fortune Paul Snively2011-05-19 09:24
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
StoryScala Days at EPFL, Lausanne, Switzerland Paul Snively2010-01-24 19:23
Forum topicTim Sweeney on Epic Games' History Paul Snively2009-05-27 07:14