Lambda the Ultimate

type	title	author	last post
Forum topic	More information about Albatross What is "verification"? by Edwin Brady	hbrandl	2015-05-29 13:47
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 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