Lambda the Ultimate

type	title	author	last post
Story	Machine Obstructed Proof That's not what I meant by Nick Benton Slides by Nick Benton	Tommy McGuire	2010-11-08 18:57
Story	Embedded Interpreters "supporting monads should be straightforward" by Nick Benton	Ehud Lamm	2006-03-12 06:37
Story	Inverse typechecker and theorem proving in intuitionistic and classical logics Or, just use Coq by Nick Benton	Ehud Lamm	2006-02-05 19:58
Forum topic	Most Productive FP Lang? Is so! by Nick Benton	David B. Held	2005-09-26 03:14

---

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