Sean McDirmid

typetitle sort iconauthorlast post
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
Forum topicHow Useful is Erlang Hot-Swapping of Code? marco2015-11-10 18:57
Forum topicGoogle Open Sources Skynet marco2015-11-10 15:25
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicMCG: A Visual Functional Programming Language cdiggins2015-11-02 19:34
Forum topicminor lexical tokenization idea via character synonyms Rys McCusker2015-11-01 08:55