recent posts

type sort icontitleauthorlast post
StoryA Methodology for Generating Verified Combinatorial Circuits Ehud Lamm2005-05-14 04:05
StoryClojure's Approach to Identity and State James Iry2008-09-16 09:58
StoryAlice Through the Looking Glass Chris Rathman2005-06-21 09:36
StoryType Checking with Open Type Functions Chris Rathman2008-11-06 19:15
StoryWhiteboard with Anders Hejlsberg Chris Rathman2004-07-05 00:14
StoryParallel Programming with Control Abstraction Ehud Lamm2004-07-28 13:47
StoryCollege Publications Charles Stewart2008-11-08 00:32
StoryMozart/Oz conference MOZ2004 - final CFP Peter Van Roy2004-06-25 22:07
StoryA Framework for Comparing Models of Computation Andris Birkmanis2008-09-13 08:33
StoryNick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations Ehud Lamm2005-02-24 16:56