Jim Apple

typetitleauthor sort iconlast post
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicWhy people don't use functional programming? Gergely Buday2007-06-09 16:40
StoryYesno Jim Apple2007-04-10 13:36
Forum topicAldor going open source Jim Apple2007-04-09 22:07
Forum topicEarly Programming Languages (A Logic Puzzle) Jim Apple2007-04-09 17:03
Forum topicDimensional analysis typing Zombywuf2007-02-23 07:54
StoryState of the Union: Type Inference via Craig Interpolation Jim Apple2007-02-10 00:41
StoryRZ for Constructive Mathematics in Programming Jim Apple2007-02-03 21:49
StoryWhy numbering should start at 0 Luke Gorrie2007-01-10 17:16
StoryMechanized Metatheory Model-Checking Jim Apple2006-12-11 21:44
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