Anders Horn

typetitleauthorlast post sort icon
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicA language for blind uncomprehending idiots who have no idea how programs work. Ray Dillinger2016-08-08 13:51
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicTyped Data Andrew Moss2015-12-31 08:59
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
StoryFreer Monads, More Extensible Effects naasking2015-09-14 03:17
Forum topicContinuous feedback in PL Sean McDirmid2015-08-21 14:39
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicmanaging closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Rys McCusker2015-01-10 00:45
Forum topicExperiments in Code Typography Sean McDirmid2014-09-06 03:56
Forum topicCall by Meaning Sean McDirmid2014-08-13 21:44
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
Forum topicLtU now supports Mathjax Anton van Straaten2014-05-05 14:47
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicToward a better programming ibdknox2014-04-01 05:35
Forum topicResilient Languages spdegabrielle2014-03-11 00:57
Forum topicLimitations of Prolog-style clausal programs Hewitt2014-02-11 10:53
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44