recent posts

typetitleauthor sort iconlast post
Forum topicHoopl: Dataflow Optimization Made Simple Derek Elkins2010-04-10 02:55
Forum topicGeometric Algebra Derek Elkins2005-11-04 00:16
Forum topicLinking comments Derek Elkins2005-01-06 11:03
Forum topicThe work of Atsushi Ohori Derek Elkins2007-12-15 05:26
Forum topicWorld’s first formal machine-checked proof of a general-purpose operating system kernel Derek Elkins2009-08-14 01:20
Forum topicChu Spaces Derek Elkins2006-02-17 02:31
Forum topicType Directed Concurrency Derek Elkins2008-04-20 07:08
Forum topicThe Logic of Proofs Derek Elkins2008-01-22 06:47
Forum topicPurely Functional Programming for Sensor Nets Derek Elkins2004-12-04 06:04
Forum topicAn Analytical Approach to Programs as Data Objects Derek Elkins2007-02-25 20:29