carter

typetitleauthorlast post sort icon
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
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03
Forum topicAmusing question Ehud Lamm2006-07-08 19:19
StoryPLT Scheme GC Technology Ehud Lamm2006-06-28 18:47
StoryScheme Language Steering Committee Report to the Community Anton van Straaten2006-06-26 23:14
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicDesigning a Type Notation for a Stack Based Functional Language cdiggins2006-05-12 20:02
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
Forum topicCountering Trusting Trust through Diverse Double-Compiling Curt Sampson2005-12-28 22:50
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
Forum topicMost Productive FP Lang? David B. Held2005-09-26 03:14