recent posts

typetitle sort iconauthorlast post
StoryA Lambda Calculus for Real Analysis Paul Snively2010-02-18 00:25
Forum topicA Java/Python hybrid? dan_2005-09-30 13:36
Forum topicA Java-like formalism for control flow analysis. Kannan Goundan2008-09-17 21:48
StoryA Java Fork/Join Framework Manuel J. Simoni2009-07-20 21:06
Forum topicA Hacker's Introduction to Partial Evaluation Ehud Lamm2006-05-09 04:40
StoryA Guide to PLT Scheme Contracts Ehud Lamm2006-02-06 13:42
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01
Forum topicA graph puzzle Brett Gibson2008-09-23 01:23
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
StoryA Generic Type-and-Effect System Paul Snively2009-04-17 17:39