recent posts

typetitleauthorlast post sort icon
StoryA New Haskell and those anxious to change Jim Apple2006-02-06 05:15
StoryInverse typechecker and theorem proving in intuitionistic and classical logics Ehud Lamm2006-02-05 19:58
Forum topicG'Caml comes of age Jim Apple2006-02-05 19:55
StoryBeyond LINQ: A Manifesto For Distributed Data-Intensive Programming Erik Meijer2006-02-05 11:26
Forum topicWeak vs. strong typing Joel Reymont2006-02-03 18:36
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
StoryRho calculus Charles Stewart2006-02-03 17:02
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
Forum topicIs the .NET platform embracing quotation and macros? Steven Shaw II2006-02-02 11:38
Forum topicType Refinements for Programming Languages Jim Apple2006-02-02 05:44