gasche

typetitle sort iconauthorlast post
Forum topicExtending Syntax from Within a Language munificent2011-02-17 01:57
Forum topicEvaluation strategies: authoritative reference? naasking2011-02-16 02:55
Forum topicHow to Program the Many Cores for Inconsistency Robustness Hewitt2011-02-03 14:26
Forum topicPoints in the Pattern Matching Design Space Jules Jacobs2011-01-26 21:50
Forum topicguy steele on how (not) to think of parallel programming Thomas Lord2011-01-25 05:56
Forum topicFast Compilers Ed Earl Ross2011-01-19 23:50
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Forum topicPrototyping a new language with Haskell bryanedds2011-01-18 03:43
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
Forum topicMemory, Actions and Extensible Syntax Ed Earl Ross2011-01-14 20:34
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
Forum topicyacc death revisited Thomas Lord2010-12-21 06:06
StorySapir-Whorf 70 years on bashyal2010-12-20 12:25
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
Forum topicThis class type Denis Bredelet -jido2010-12-08 22:32
Forum topicClojure's Solutions to the Expression Problem fogus2010-11-27 07:21
Forum topicErasure and Polymorphism in Pure Type Systems gasche2010-10-29 11:36
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicA functional-programming view of time Bakul Shah2010-10-16 02:14
StoryXtext: An IDE on the cheap bashyal2010-10-15 21:46
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicDo I need a forall if type parameters are syntactically distinguishable from type constructors? Manuel J. Simoni2010-09-07 15:13
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09