recent posts

typetitleauthor sort iconlast post
Forum topicFunctional Pearls Derek Elkins2010-03-04 02:22
Forum topicThe work of Atsushi Ohori Derek Elkins2007-12-15 05:26
Forum topicChu Spaces Derek Elkins2006-02-17 02:31
Forum topicHoopl: Dataflow Optimization Made Simple Derek Elkins2010-04-10 02:55
Forum topicPurely Functional Programming for Sensor Nets Derek Elkins2004-12-04 06:04
Forum topicWorld’s first formal machine-checked proof of a general-purpose operating system kernel Derek Elkins2009-08-14 01:20
Forum topicType Directed Concurrency Derek Elkins2008-04-20 07:08
Forum topicObject capabilities for protecting object slots in prototype-based languages? Denis Washington2011-03-10 02:17
Forum topicAgora: The Story of the Simplest MOP in the World - or - The Scheme of Object-Orientation Denis Washington2011-04-03 14:16
Forum topicTerra: A low-level counterpart to Lua Denis Washington2013-05-21 19:10