Jim Apple

typetitleauthorlast post sort icon
Forum topicPurity in PLT Jim Apple2006-04-08 10:56
Forum topicDisruptive PLT, 4 years later Jim Apple2006-04-03 20:11
Forum topic[ANN] Scala-2 Martin Odersky2006-03-31 10:22
StoryGeneric Haskell II Jim Apple2006-03-28 12:58
StoryA New Haskell and those anxious to change Jim Apple2006-02-06 05:15
Forum topicG'Caml comes of age Jim Apple2006-02-05 19:55
Forum topicType Refinements for Programming Languages Jim Apple2006-02-02 05:44
StoryThe essence of ML type inference Jim Apple2006-02-02 05:40
StorySpring School on Datatype-Generic Programming 2006 Ehud Lamm2006-01-24 19:14
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
Forum topicClassic CS Texts Babar K Zafar2006-01-11 17:51
StoryPolymorphic Regular Tree Types and Patterns Jim Apple2005-12-14 03:16
Forum topicUlf's Home-Page of Programming Language Design Jim Apple2005-12-04 14:27
Forum topicAre we missing out on fancy types? Jim Apple2005-12-02 05:05
Forum topicMonads are an idiom, but Idiom isn't a monad Jim Apple2005-12-01 04:05
StorySystematic search for lambda expressions Jim Apple2005-11-29 20:56
StoryOCaml 3.0.9 Mark Evans2005-11-14 18:45
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
Forum topicThe Type-System-Feature-Creep Death Spiral jesuswaffle2005-11-02 17:15
Forum topicBest default sequence? Greg Buchholz2005-10-22 01:16
StoryFunctional programming in Java Anton van Straaten2005-10-18 14:40
Forum topicTerritorial Exception Handling raould2005-10-18 14:35
StoryDon Box: Scheme Is Love Ehud Lamm2005-10-06 05:38
Forum topicNon-Lisp, natively extensible? Nathan Sobo2005-09-30 08:29
StoryLtU: Style and Focus Ehud Lamm2005-09-29 22:03