Jim Apple

typetitle sort iconauthorlast post
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
Story Wobbly types Bryn Keller2004-07-25 04:21
Forum topicLooking for the source of a quote Jim Apple2004-07-15 05:23