Rob Dockins

typetitle sort iconauthorlast post
Forum topic10 Years of Purely Functional Data Structures Chris Okasaki2012-08-04 01:52
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
StoryGödel, Nagel, minds and machines Ehud Lamm2007-11-22 08:09
Forum topicCan referential transparency be bad? (puzzle included) Andris Birkmanis2007-05-12 00:53
Forum topicDimensional analysis typing Zombywuf2007-02-23 07:54
Forum topicWhy Are ALL Programming Languages So Low Level? Vorlath2007-01-16 22:41
Forum topicTradeoffs between Unique Types and Monads mjstahl2006-10-13 12:47
StoryFailure-oblivious computing Anton van Straaten2006-10-04 20:21
Forum topicgenerating interpreters, IDEs, etc., from simple specifications? shahbaz2006-08-23 14:34
StoryIvor, a proof engine Niels Hoogeveen2006-08-08 15:02
StoryProgramming Languages and Lambda Calculi Noel2006-07-11 17:23
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36