recent posts

type sort icontitleauthorlast post
Story Wadler's Blog: Penn, PADL, POPL, and Plan-X Ehud Lamm2008-04-09 19:45
StoryA Formal Language for Analyzing Contracts Olivier Lefevre2006-01-24 05:48
StoryBeyond LINQ: A Manifesto For Distributed Data-Intensive Programming Erik Meijer2006-02-05 11:26
StoryPiDuce Ehud Lamm2006-01-25 11:36
StoryJavascript Inheritance Ehud Lamm2006-01-30 20:28
StoryMyHDL Ehud Lamm2006-01-31 16:16
StoryRho calculus Charles Stewart2006-02-03 17:02
StoryPyPy Ehud Lamm2006-01-31 14:28
StoryNaked Objects Noel2007-06-12 23:46
StoryRobert Harper Named as ACM Fellow Matt Hellige2006-01-31 22:58