type sort icontitleauthorlast post
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
Forum topicStructural recursion on sets vc2008-03-01 02:49
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
Forum topicChurch-Turning is False? Bryan Turner2006-06-28 09:36
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicBuried Treasure - No Fluff Just Stuff Isaac Gouy2006-06-08 03:44
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05
Forum topicPersistent functional databases Robbert van Dalen2006-04-26 07:13
Storyfoldl and foldr Noel2006-04-20 16:34
StoryThe Reasoned Schemer with Oz Chris Rathman2006-04-06 11:44
Forum topicClass hierarchies and Ontologies Neil Madden2006-04-03 11:12
StoryWhen is one thing equal to some other thing? Ehud Lamm2006-03-16 14:55
Forum topicType theory question... Matt Hellige2006-02-23 22:07
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
StoryAn interview with Chris Date Chris Rathman2005-08-12 21:17