typetitleauthorlast post sort icon
Forum topicEliminating left recursion skaller2016-12-13 00:23
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicHow is structural typing checked? mamcx2016-10-26 16:44
Forum topicFeedback requested: A sample implementation of L-systems in Haskell filipallberg2016-09-19 18:37
Forum topicTerm Rewrite System Implementations? Ivan Vodišek2016-09-18 00:10
StoryFunctional Pearl: Type-safe pattern combinators naasking2016-09-16 18:18
Forum topicLecturing birds how to fly Charles Stewart2016-09-07 18:46
Forum topicProgramming Languages as Mathematical Representations mfidelman2016-09-03 23:25
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
Forum topicLearning to Execute and Neural Turing Machines Sean McDirmid2016-05-30 14:37
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36
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 topicBest successor to Scheme? raould2016-05-03 06:31
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 topicBest opening sentence ever, in a paper on S-Exprs for IDEs. raould2016-04-02 22:53
Forum topicSFI Talk: Four the hard way: Computer design and living software marco2016-04-02 22:01
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