recent posts

type sort icontitleauthorlast post
StoryLanguages and security: a short reading list James Iry2009-03-22 17:02
StoryBarbara Liskov Wins Turing Award Ehud Lamm2009-03-14 04:29
StoryA Tiny Computer Luke Gorrie2009-06-06 05:39
StoryA New Approach to the Functional Design of a Digital Computer Luke Gorrie2009-03-14 03:59
StoryLawvere Theories and Monads Charles Stewart2010-03-31 09:10
StoryMarrying VMs Charles Stewart2009-04-01 02:33
StorySwift: making web applications secure by construction Allan McInnes2009-04-02 21:53
StorySite problems Ehud Lamm2009-03-23 05:05
StoryOpen access at MIT and Harvard Charles Stewart2009-03-29 04:48
StoryD is for Domain and Declarative Chung-chieh Shan2009-03-25 16:51