Sean McDirmid

typetitleauthor sort iconlast post
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
Forum topicPlease submit to LIVE! 2017 (SPLASH Vancouver) Sean McDirmid2017-07-03 18:38
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
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 topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
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