Home » user account

Jim Apple

typetitleauthorlast post sort icon
Forum topicLanguages with first order types and partial evaluation Kay Schluehr2006-12-07 01:07
StoryModular Type Classes Jim Apple2006-12-04 21:42
StoryThe Theory of Parametricity in Lambda Cube Jim Apple2006-11-27 13:52
Forum topicESC not just for Java any more Jim Apple2006-10-23 17:09
StoryGeneric views Jim Apple2006-10-11 23:03
StoryFolds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach Jim Apple2006-09-09 12:37
Story'Information and Computation' Open Access Frank Atanassow2006-07-05 23:13
Forum topicBackwards debugging Jim Apple2006-05-26 20:17
StoryMathLang Jim Apple2006-05-14 11:00
Forum topicPersistent functional databases Robbert van Dalen2006-04-26 07:13
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