recent posts

type sort icontitleauthorlast post
StoryUsing Hackage to Inform Language Design bashyal2010-10-26 15:40
StoryHandlers of Algebraic Effects Ohad Kammar2010-07-07 08:17
StoryPrivacy and Contextual Integrity: Framework and Applications neelk2007-10-18 01:15
StoryGarbage Collection Without Paging neelk2012-07-25 00:39
StoryJon Udell: A conversation with Jonathan Robie about XQuery Ehud Lamm2005-08-22 16:27
StoryWhy Normalization Failed to Become the Ultimate Guide for Database Designers? Z-Bo2010-01-20 15:04
StoryA Typed, Compositional Logic for a Stack-Based Abstract Machine Ehud Lamm2005-07-02 14:15
StoryGenerational Real-time Garbage Collection neelk2007-08-15 19:53
StoryThe birth of the FORTRAN II subroutine Ehud Lamm2005-08-22 12:40
StoryA Verified Compiler for an Impure Functional Language Paul Snively2010-01-09 17:03