recent posts

type sort icontitleauthorlast post
StoryModeling Abstract Types in Modules with Open Existential Types naasking2008-11-11 01:23
StorySEP entry on Combinatory Logic Ehud Lamm2008-11-19 19:27
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
StoryGuy Steele & Richard Gabriel: 50 in 50 Chris Rathman2009-10-04 10:21
StoryClojure: Trampoline for mutual recursion Chris Rathman2008-11-30 02:33
StoryHOPL III: The When, Why and Why Not of the BETA Programming Language Chris Rathman2008-11-28 12:31
StoryFunctional building blocks as concurrency patterns Peter Van Roy2008-12-05 15:58
StoryQi II James Iry2008-12-18 01:21
StoryStaging with Delimited Control Ehud Lamm2008-12-07 20:00
StoryThe RiSE of Research in Software Engineering Daniel Yokomizo2008-12-03 14:54