Lambda the Ultimate

type	title	author	last post
Story	Scheme to be split into two languages I thought it was very clear. by Adam Blinkinsop	Manuel J. Simoni	2009-11-26 16:54
Story	From abstract interpretation to small-step typing Abstract evaluation is metadata preprocessing by Adam Blinkinsop	Chung-chieh Shan	2007-07-25 02:34
Forum topic	Is Integer wrapping an exceptional condition? Extended type systems by Adam Blinkinsop	mansu	2007-05-21 23:34

---

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