recent posts

type sort icontitleauthorlast post
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryJavaScript 2 and the Future of the Web Dave Herman2006-06-07 10:18
StoryNo Ifs, Ands, or Buts Matt Hellige2007-03-27 12:37
StoryContinuations for Parallel Logic Programming Andris Birkmanis2006-06-03 20:05
StoryPaul Cohen has died Ehud Lamm2007-03-26 00:15
StoryThe Origins and Nature of Computation Ehud Lamm2006-06-29 20:11
StorySynthetic Computability Charles Stewart2007-05-24 14:51
StoryScribble: Closing the Book on Ad Hoc Documentation Tools Manuel J. Simoni2010-07-23 23:54
StoryCode Quarterly - The Hackademic Journal Ehud Lamm2010-05-10 20:44
StoryScrap your Nameplate Andris Birkmanis2006-06-05 18:48