Matt M

typetitleauthor sort iconlast post
Forum topicUnsoundness skaller2017-01-20 15:16
StoryDo Be Do Be Do gasche2017-01-12 18:51
Forum topicEliminating left recursion skaller2016-12-13 00:23
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicZenScript, A new open-source language project. Keean Schupke2016-10-01 16:48
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicCertificates/proof of work of type checking? naasking2016-09-22 06:41
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-09-20 05:47
Forum topiclanguage handling of memory and other resource failures Rys McCusker2016-08-27 18:57
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-07-15 20:51
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