Sean McDirmid

typetitleauthorlast post sort icon
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
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
Forum topicPOPL 2016 Research program... Sean McDirmid2015-12-13 11:48
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topicHacker’s Brain – The Psychology of Programming Sean McDirmid2015-11-23 03:27
Forum topicNeural Programmer-Interpreters Sean McDirmid2015-11-22 12:33