Brandon Moore

typetitleauthorlast post sort icon
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicArticles on Precise GC with Parametric Polymorphism scottmcl2010-12-08 20:52
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11
Forum topicThe Rust Language Noel2010-07-27 23:17
StoryScribble: Closing the Book on Ad Hoc Documentation Tools Manuel J. Simoni2010-07-23 23:54
Forum topicAny multi-threaded interpreters? Pinku Surana2010-06-26 23:58
Forum topicParser that allow syntax extensions serras2010-01-24 03:08
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
StoryThe End of the GPU Roadmap Noel2009-10-23 10:03
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
Forum topicerlang green threads and the CLR addmoreice2008-06-11 15:21
StoryFPH: First-class Polymorphism for Haskell naasking2008-05-07 12:36
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Forum topicHigher-Order Programming without Closures? naasking2008-04-27 01:18
Forum topicLanguages best suited for scientific computing? JustinTrellis2008-04-24 18:59