Lambda the Ultimate

type	title	author	last post
Forum topic	PL vs. PX How do we design PL by Anders Horn	Sean McDirmid	2015-10-26 18:24
Story	Freer Monads, More Extensible Effects Yes, conses are nice because by Anders Horn	naasking	2015-09-14 03:17
Forum topic	Continuous feedback in PL I agree that feedback isn't by Anders Horn Expanding on this by Anders Horn findability by Anders Horn	Sean McDirmid	2015-08-21 14:39
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Please don't hint. by Anders Horn	Hewitt	2015-06-25 00:05
Forum topic	how many lines of code can civilization support? How to generate goals from pattern matching by Anders Horn	Thomas Lord	2015-04-09 22:07
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps But I've seen people who by Anders Horn difficulty by Anders Horn	Rys McCusker	2015-01-10 00:45
Forum topic	Experiments in Code Typography I can get used to nearly anything by Anders Horn	Sean McDirmid	2014-09-06 03:56
Forum topic	Call by Meaning The term linguists use for by Anders Horn	Sean McDirmid	2014-08-13 21:44
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) by Anders Horn It's not really a gang by Anders Horn	marco	2014-05-26 17:22
Forum topic	LtU now supports Mathjax coincidentally, I'm working by Anders Horn	Anton van Straaten	2014-05-05 14:47
Story	Study finds that when no financial interests are involved programmers choose DECENT languages That is interesting by Anders Horn	Ehud Lamm	2014-04-15 05:59
Forum topic	Toward a better programming XKCD is just really popular by Anders Horn	ibdknox	2014-04-01 05:35
Forum topic	Resilient Languages rightness by Anders Horn	spdegabrielle	2014-03-11 00:57
Forum topic	Limitations of Prolog-style clausal programs ignore by Anders Horn Do you see the difference by Anders Horn	Hewitt	2014-02-11 10:53
Forum topic	Less is more. terminology appropriate to the audience by Anders Horn	Rys McCusker	2014-01-19 13:05
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Already advocated by Anders Horn	Douglas McClean	2014-01-14 17:44
Story	Mixed-Site Variance Adaption by Anders Horn	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters ZeroOne by Anders Horn	James Iry	2013-09-09 19:40
Story	The Three Laws of Programming Language Design studies by Anders Horn	bashyal	2013-07-04 14:32
Forum topic	Nimrod: A new statically typed, compiled programming language which supports metaprogramming memory by Anders Horn	dom96	2013-05-29 22:46
Forum topic	An interactive approach to teaching programming concepts more levels by Anders Horn	Damian Gill	2013-04-29 12:22
Story	Dependent Types for JavaScript I don't think he's talking about dynamically typed languages by Anders Horn system vs syntax? by Anders Horn	naasking	2013-04-18 10:44
Story	Who's online I'd rather it be off by Anders Horn	Ehud Lamm	2013-04-02 09:09
Forum topic	Seeking thoughtful criticisms of functional programming and languages conceptual models by Anders Horn	scottmcl	2013-03-31 00:40
Forum topic	How to handle errors Reactive Demand Programming by Anders Horn	Mats	2012-11-09 05:58
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation