Matt M

typetitleauthorlast post sort icon
Forum topicRecursive types skaller2016-06-17 06:02
StorySet-Theoretic Types for Polymorphic Variants naasking2016-06-09 18:41
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
Forum topicA Farewell to FRP in Elm Greg Buchholz2016-05-11 15:35
Forum topicAlgebra Of Pointers Keean Schupke2016-05-10 23:01
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicBest successor to Scheme? raould2016-05-03 06:31
StorySimon Peyton Jones elected into the Royal Society Fellowship Ohad Kammar2016-05-01 16:27
Forum topicRemora: An Array-Oriented Language with Static Rank Polymorphism raould2016-04-24 16:35
Forum topicBinary Representation - Is it something to rise above? Ray Dillinger2016-04-24 02:14
Forum topicIEEE Scheme expiring soon johnwcowan2016-04-16 17:32
Forum topicSome questions concerning P != NP Carter Cheng2016-04-15 08:07
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
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicWhy not C++? raould2016-03-22 14:41
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-13 20:21
Forum topicSPREAD: Authenticated reusable computations Robbert van Dalen2016-02-04 23:10
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
StoryProgress on Gradual Typing gasche2016-01-28 15:13