Lambda the Ultimate

type	title	author	last post
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions a glossary for new comers by ertri	cdiggins	2009-10-23 11:46

---

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