Daniel Slaney

typetitleauthorlast post sort icon
Forum topicNew for Python 2.5 Ewan2006-01-21 10:15
Forum topicConjunction types jimdesu2005-12-05 16:21
Forum topicCurry/Howard and Disjunction Daniel Slaney2005-11-02 16:48
Forum topicLooking for FP Debuggers raould2005-10-03 19:14
Forum topicGood languages with simple grammar Tim Sweeney2005-09-28 08:09
StoryRPC Under Fire Ehud Lamm2005-09-23 16:58
Forum topicFunctional multi-method programming language Matt OConnor2005-09-21 08:59
Forum topicHaskell and creative freedom Nathan Sobo2005-09-16 00:08
Forum topicCombining Theorem Proving and Programming carter2005-09-09 22:32
StoryShould Computer Science Get Rid of Protocols? Klaus Ostermann2005-08-25 10:11
Forum topicObjective scientific proof of OOP's validity? Don't need no stinkun' proof. Riaan Moll2005-08-21 18:49
Forum topicLarger Subroutines == Fewer Defects Greg Buchholz2005-08-18 07:34
Forum topicsimpler representation of operational semantics? shahbaz2005-08-16 03:37
StoryIn Search of the Ideal Programming Language Mark Evans2005-07-05 12:15
StoryWhy Dependent Types Matter Ehud Lamm2005-07-05 08:34
StoryThe Four Questions Dave Herman2005-07-05 07:19