recent posts

typetitleauthor sort iconlast post
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
StoryType inference for correspondence types Paul Snively2008-12-09 18:46
StoryDana Paul Snively2009-02-28 13:41
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
StoryFoundations of Inference Paul Snively2013-05-21 03:54
StoryA Lambda Calculus for Real Analysis Paul Snively2010-02-18 00:25
StoryA Verified Compiler for an Impure Functional Language Paul Snively2010-01-09 17:03