Lambda the Ultimate

type	title	author	last post
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram Supercombinators by edwin brady	Niels Hoogeveen	2006-10-02 18:13
Forum topic	Dependent types: literature, implementations and limitations ? Literature by edwin brady	David Rajchenbach-Teller	2005-11-24 11:55

---

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