Sean McDirmid

typetitleauthor sort iconlast post
Forum topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
Forum topicPractical Principled FRP: Forget the past, change the future, FRPNow! Sean McDirmid2017-05-12 16:41
Forum topicDomain specific language for playing games davidb2017-05-03 22:47
Forum topicCompiler IDE API Keean Schupke2017-04-14 06:08
Forum topicList of POPL 2017 papers with crowd-sourced preprint links gasche2016-12-08 18:05
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
Forum topicPHOG: Probabilistic Model for Code Sean McDirmid2016-06-22 00:52
Forum topicProgramming with a Differentiable Forth Interpreter Sean McDirmid2016-06-06 19:46
Forum topicLearning to Execute and Neural Turing Machines Sean McDirmid2016-05-30 14:37
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicLIVE 2016 @ ECOOP (CFP) Sean McDirmid2016-04-22 23:16
Forum topicBest opening sentence ever, in a paper on S-Exprs for IDEs. raould2016-04-02 22:53
Forum topicOnward 2016 call Sean McDirmid2016-04-01 13:09
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
Forum topicEarl Grey; the story of a new programming language Greg Buchholz2016-03-31 23:37
Forum topic¿How can a dynamically typed language not actively prevent static checking? raould2016-03-31 23:06
Forum topicIs the "Getting started"-guide up-to-date? filipallberg2016-03-29 06:03
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-13 20:21
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
Forum topicProject Lamdu Greg Buchholz2016-01-21 23:00
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicTyped Data Andrew Moss2015-12-31 08:59