carter

typetitleauthorlast post sort icon
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topic10 Years of Purely Functional Data Structures Chris Okasaki2012-08-04 01:52
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
Forum topicFunctional anti-memoization Greg Buchholz2009-01-26 17:46
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
StoryTypes Considered Harmful Chris Rathman2008-06-06 17:06
StoryGrady Booch: Software Engineering Grand Challenges Ehud Lamm2008-04-27 18:35
Forum topicHigher-Order Programming without Closures? naasking2008-04-27 01:18
Forum topicTeaching oneself Abstract Interpretation ? David Teller2008-03-29 09:16
Forum topicQis of the Future raould2008-02-15 21:52
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicCurrent "best books on FP"? vputz2007-07-29 18:19
Forum topicExpressing usage constraints within the language naasking2007-05-15 18:27
Forum topicType inference and union types Thomas_C2007-04-29 19:36
StoryGilad Bracha on tuples Ehud Lamm2007-03-12 11:18
Forum topicAlloy - The Book Isaac Gouy2006-12-19 13:50
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
StoryA type-correct, stack-safe, provably correct, expression compiler in Epigram Niels Hoogeveen2006-10-02 18:13
Forum topicImplementing arrays dataangel2006-09-02 09:52
Forum topicApple: procedural -> OO -> AOP -> advanced procedural Isaac Gouy2006-08-28 13:35
Forum topicExpressing the Type of a While Loop cdiggins2006-08-06 20:39
Forum topicManaging missing information through Condition Propagation n8allan2006-08-03 16:31