recent posts

type sort icontitleauthorlast post
StoryFolds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach Jim Apple2006-09-09 12:37
Storyberp Ehud Lamm2010-06-07 18:00
StoryDynamic Languages Symposium Program Online Erik Meijer2006-09-20 17:21
StoryCan Abstract State Machines Be Useful in Language Theory? Ehud Lamm2006-11-15 13:12
StoryTropical Semirings neelk2010-12-10 15:56
StorySecond Life Faces Threat to its Virtual Economy Paul Snively2006-11-18 09:04
StoryRacket Released Noel2010-06-16 12:39
StoryVideo: The Scala Experiment Chris Rathman2006-11-20 22:11
StorySIGPLAN's first Programming Languages Software Award goes to LLVM bashyal2010-07-06 19:16
StorySecPAL: Design and Semantics of a Decentralized Authorization Language Ehud Lamm2006-09-17 03:54