Derek Elkins

typetitleauthor sort iconlast post
StoryGetting Started Ehud Lamm2011-03-16 17:43
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicSeeking papers that unify control theory and programming language design Z-Bo2011-01-26 22:41
Forum topicPoints in the Pattern Matching Design Space Jules Jacobs2011-01-26 21:50
Forum topicMultiple Value Return - Common Lisp vs. Tuples and destructuring scottmcl2011-01-15 09:49
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicTolerant vs. Demanding Software kclancy2010-12-30 04:44
StoryPico Lisp: A Case for Minimalist Interpreters? James Hague2010-12-19 01:55
StoryTropical Semirings neelk2010-12-10 15:56
Forum topicEmbarrassed Cyril2010-12-07 08:11
StoryIf Programming Languages were <T> Chris Rathman2010-11-30 14:05
StoryDerivatives of Regular Expressions neelk2010-11-29 23:49
StoryDe-Scheming MIT? Kay Schluehr2010-11-16 20:43
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicGADTs in a dynamically type-checked language? Manuel J. Simoni2010-09-16 18:43
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicpaper: "Purely Functional Structured Programming" Steven Obua2010-07-28 17:53
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
StoryThe Galois connection between syntax and semantics Ehud Lamm2010-06-19 01:47
Forum topicTypes/Ordering of canonical FP compiler transforms and optimizations? scottmcl2010-06-02 01:39
Forum topicInspiring Papers SamK2010-05-24 15:10
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
StoryLtU turns 7: The year of spam Ehud Lamm2010-04-29 05:51
Forum topicSolving the expression problem with type classes naasking2010-04-20 03:30
Forum topicHoopl: Dataflow Optimization Made Simple Derek Elkins2010-04-10 02:55