Derek Elkins

typetitle sort iconauthorlast post
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicWhat is Intuitive? raould2016-05-12 23:55
StoryWhen Is A Functional Program Not A Functional Program? neelk2015-11-20 21:56
StoryExceptional syntax Chung-chieh Shan2014-11-04 18:51
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
StoryWhy Concatenative Programming Matters James Iry2013-09-09 19:40
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
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