Jim Apple

type sort icontitleauthorlast post
StoryDesign Concepts in Programming Languages Andris Birkmanis2009-02-03 21:52
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
StoryPolymorphic Algebraic Data Type Reconstruction James Iry2008-09-12 09:57
StoryArrows, like Monads, are Monoids Jim Apple2008-05-07 14:13
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryCollection of links to monad implementations in various languages. shapr2007-12-09 19:59
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
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