recent posts

typetitleauthorlast post sort icon
StoryThe Joins Concurrency Library Ehud Lamm2006-12-23 10:48
StoryMisc items Ehud Lamm2006-12-23 10:11
Forum topicFunctional Reactive GUI for O'Caml Chris King2006-12-23 04:00
StoryA modern eye on ML type inference - Pottier 2005 cdiggins2006-12-23 00:00
Forum topicModeling and Typing Combinatory Calculus cdiggins2006-12-22 21:01
StorySeminar: Classical vs. Quantum Computation Matt Hellige2006-12-21 21:16
StoryTeaching Discrete Mathematics via Primary Historical Sources Ehud Lamm2006-12-21 20:23
StoryExtending Prolog with Incomplete Fuzzy Information Ehud Lamm2006-12-21 13:54
Forum topicConcurrency and dominators Koen Van Damme2006-12-21 11:53
Forum topicExpressive lisp ... Srikumar Subramanian2006-12-21 09:22