Home » user account

Jim Apple

typetitleauthorlast post sort icon
Forum topicShoot-out: most annoying compiler error message marco2008-12-01 22:18
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
StoryPrediction for 2008 Ehud Lamm2008-09-21 05:30
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
StoryDesign Concepts in Programming Languages Andris Birkmanis2008-08-22 23:40
StoryArrows, like Monads, are Monoids Jim Apple2008-05-07 14:13
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryThe Disciplined Disciple Compiler Daniel Yokomizo2008-03-29 00:26
Forum topicexpressivity of "idiomatic C++" el-vadimo2007-12-28 14:25
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
StoryBuilding a Modern Computer From First Principles Ehud Lamm2007-10-29 06:59
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicWhy people don't use functional programming? szobatudos2007-06-09 16:40
StoryCforall Jim Apple2007-04-11 05:14
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