recent posts

type sort icontitleauthorlast post
StoryLightweight Static Capabilitites (II) Ehud Lamm2006-09-05 01:52
Story"Proof-Directed Debugging" Revisited Ehud Lamm2006-11-04 01:11
StoryProgramming CNC machines in Haskell Ehud Lamm2010-05-24 13:24
StoryReflective Program Generation with Patterns Ehud Lamm2006-08-30 07:36
StoryVacation Ehud Lamm2006-09-01 09:31
StoryAbstract interpreters for free Allan McInnes2010-09-01 18:54
StoryAdding Type Constructor Parameterization to Java Manuel J. Simoni2010-06-08 21:53
StoryThe Resurgence of Parallelism Allan McInnes2010-06-09 17:59
StorySICP Translations Chris Rathman2007-05-08 20:09
StoryMisc News Ehud Lamm2006-09-10 21:02