carter

typetitleauthorlast post sort icon
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
Forum topicGarbage Collection as a Lazy Algorithm Greg Buchholz2005-09-19 23:23
Forum topicHaskell and creative freedom Nathan Sobo2005-09-16 00:08
Forum topicCombining Theorem Proving and Programming carter2005-09-09 22:32
Forum topicDoes Abstraction add Fuzziness? mansu2005-08-29 20:17
Forum topicExpressivity David B. Held2005-08-11 17:17
Forum topicA question about subtypes inference kilrati2005-08-10 18:51
Forum topicML without GC ehrlich2005-07-28 15:33
Forum topicOok? marco2005-07-02 10:26
StoryLanguage Design 101 Ehud Lamm2005-06-03 12:27
Forum topicR6RS Scheme Status Report Matthew Morgan2005-05-05 04:07