Lambda the Ultimate

type	title	author	last post
Forum topic	Algebra Of Programming (Bird, De Moor) Yes, and no. by Phil Armstrong Sent by Phil Armstrong email him? by Phil Armstrong	shahbaz	2009-04-27 20:22
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language It is astonishingly hard to by Phil Armstrong	Paul Snively	2007-03-28 14:31
Story	Concoqtion: Indexed Types Now! GADT type-level proofs require runtime checking in Haskell? by Phil Armstrong	Paul Snively	2007-03-13 15:11
Story	Mechanized Metatheory Model-Checking Philip Wadler said... by Phil Armstrong	Jim Apple	2006-12-11 21:44
Story	Whitespace Shades by Phil Armstrong	Andris Birkmanis	2004-10-21 14:12

---

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