Jim Apple

typetitleauthorlast post sort icon
Forum topicFunctional multi-method programming language Matt OConnor2005-09-21 08:59
Forum topicGoF get SIGPLAN award Jim Apple2005-07-31 07:53
Forum topicGADTs + Extensible Kinds = Dependent Programming Jim Apple2005-07-26 19:07
Forum topicDead Languages Jim Apple2005-07-11 11:14
Forum topicThe New C Standard Jim Apple2005-07-08 18:16
StoryWhy Dependent Types Matter Ehud Lamm2005-07-05 08:34
Forum topicA Typeful Approach to Object-Oriented Programming with Multiple inheritance Jim Apple2005-06-30 06:53
Forum topicShort examples of complex use of state? neelk2005-06-01 19:44
Forum topicLLVM 1.5 has been released! Chris Lattner2005-05-23 18:50
Forum topicApplied Type System Jim Apple2005-05-11 12:16
Forum topicThe Epigram Blog Jim Apple2005-05-11 11:49
Forum topicExistential Types == Guarded Types Jim Apple2005-05-06 03:10
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicWhy Dependent Types Matter Daniel Yokomizo2005-04-24 09:20
StoryInterview with Donald Knuth Chris Rathman2005-03-16 07:37
Forum topicThe HM system does not have principal typings for all terms Andris Birkmanis2005-02-26 07:26
Forum topicPrototyping Generic Programming using Template Haskell Jim Apple2004-12-10 18:34
Forum topicDefinition of Type cdiggins2004-12-09 11:42
Forum topicgbeta Jim Apple2004-11-04 15:12
Forum topicIBM's Object REXX open sourced Jim Apple2004-10-19 06:36
Forum topicNew CLR Language: Boo lennon2004-10-01 16:38
StoryJava and coolness, a discussion Ehud Lamm2004-09-30 14:50
StoryA Deeper Look At Metafunctions Dominic Fox2004-09-06 19:43
Forum topicNew Paul Graham thing... Matt Hellige2004-08-24 16:47
Forum topicThe Sphere Online Judge Jim Apple2004-07-25 07:00