Anders Horn

typetitleauthorlast post sort icon
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
Forum topicAha! Programming Language rmovchan2012-10-19 03:50
Forum topicP = NP question Carter Cheng2012-10-10 22:26
Forum topicLearning math? oconnor02012-09-27 07:12
Forum topicEvolved Turing neural networks - Unorganized machines and the brain Cyril2012-07-14 11:08
Forum topicType classes in a dynamic language vorov22012-06-17 11:05
Forum topicGuppy: trying to make parsing simple, fun, and powerful Joey Adams2010-05-31 02:57