Lambda the Ultimate

type	title	author	last post
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Undecidability: Is it really so bad? by David Weitzman	Paul Snively	2007-03-28 14:31
Story	Termination Checking with Types Crash-only software by David Weitzman	neelk	2007-02-09 20:53
Forum topic	Closures for Java or money back Agreed by David Weitzman	el-vadimo	2006-09-23 19:16
Story	Paul Vick: Language Design & Paying the UI "Tax" The way I'm hoping this probl by David Weitzman	Ehud Lamm	2006-01-18 18:21

---

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