Kimberley Burchett

typetitle sort iconauthorlast post
StoryRichard Feynman and the Connection Machine Luke Gorrie2009-06-08 11:11
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
StoryAlmost everything happened in the Golden Age, right? Peter Van Roy2008-07-28 19:24
StoryLowering: A Static Optimization Technique for Transparent Functional Reactivity neelk2007-02-22 18:41
StoryAnnotated POPL 2007 Program Noel2007-01-19 02:35
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
Forum topicGetting started in language design -- reading material? dataangel2005-12-02 11:53
StoryJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Ehud Lamm2005-11-02 01:34
Forum topicHaskell and creative freedom Nathan Sobo2005-09-16 00:08
StoryScrap more boilerplate Ehud Lamm2004-08-11 18:24