Lambda the Ultimate

type	title	author	last post
Forum topic	The Monad.Reader	Wouter Swierstra	2012-04-11 12:54
Forum topic	Solving the expression problem with type classes Unembedding Domain-Specific Languages by Wouter Swierstra	naasking	2010-04-20 03:30
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Morrow by Wouter Swierstra	scottmcl	2009-12-14 21:20
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Syntax and Semantics of Dependent Types by Wouter Swierstra	echinuz	2007-09-08 02:04
Forum topic	Linear Types vs. Uniqueness Typing Dana Harrington's thesis by Wouter Swierstra	mjstahl	2007-01-17 17:17

---

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