Paul Snively

typetitleauthorlast post sort icon
Forum topicA-Posteriori Subtyping: Which Languages? cdiggins2006-01-31 03:52
StoryContinuations library for Java Anton van Straaten2006-01-24 08:22
Forum topicSingleton classes really that bad? dataangel2006-01-16 19:14
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
Forum topicStroustrup talking about C++0x Jillis ter Hove2006-01-06 15:25
StoryG-Men Called on W-Hats for WMVD Ehud Lamm2006-01-05 20:29
Forum topicDuck typing vs Structural Subtyping lmeyerov2006-01-04 06:49
StoryTop N Papers 2005 Matt Hellige2006-01-03 20:33
StoryModule Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Paul Snively2005-12-07 14:58
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
Forum topicThe building of robust software mjstahl2005-12-02 19:17
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
Forum topicCan one avoid monads? raould2005-11-10 20:18
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
StoryOOPSLA 2005 Reports Ehud Lamm2005-11-08 17:50
StoryAlloy: A Simple Structural Modeling Language Based on First-Order Logic Paul Snively2005-11-03 22:50
Forum topicJakarta Commons Monad, er, Chain Andris Birkmanis2005-11-03 21:12
Forum topicThe Type-System-Feature-Creep Death Spiral jesuswaffle2005-11-02 17:15
Forum topicWould LISP/FP help here? Laurent Bruter2005-11-02 14:44
Forum topicWhy Lists? David B. Held2005-11-01 21:15
Forum topicExpressions vs Statements Sebastien Pierre2005-10-21 14:28
StoryFunctional programming in Java Anton van Straaten2005-10-18 14:40
StoryDon Box: Scheme Is Love Ehud Lamm2005-10-06 05:38
StoryICFP Programming Contest 2005 Results Luke Gorrie2005-10-05 02:03
Forum topicLooking for FP Debuggers raould2005-10-03 19:14