Derek Elkins

typetitle sort iconauthorlast post
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
StoryWhat is polytypic programming? Jim Apple2012-06-21 02:05
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryLTL types FRP Charles Stewart2011-11-26 23:39
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
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