Anders Horn

type sort icontitleauthorlast post
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
StoryMixed-Site Variance bashyal2013-09-09 21:39
StoryWhy Concatenative Programming Matters James Iry2013-09-09 19:40
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicNimrod: A new statically typed, compiled programming language which supports metaprogramming dom962013-05-29 22:46
Forum topicAn interactive approach to teaching programming concepts Damian Gill2013-04-29 12:22
StoryDependent Types for JavaScript naasking2013-04-18 10:44
StoryWho's online Ehud Lamm2013-04-02 09:09
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicHow to handle errors Mats2012-11-09 05:58
StoryStrange Loop 2012 Video Schedule Ehud Lamm2012-10-28 21:46