Lambda the Ultimate

type	title	author	last post
Forum topic	Weird computability problem relating to state + lambda calculus This isn't my homework. I'm by ellisk	ellisk	2009-01-17 14:17
Forum topic	"Determinism" of types? Thanks for the help by ellisk	ellisk	2009-01-06 17:36
Forum topic	A tutorial on implemeting type inference?	ellisk	2008-11-16 18:43

---

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