Lambda the Ultimate

type	title	author	last post
Forum topic	Is the Expression Problem Fundamental? Maude by Patrick Browne	David Minor	2011-11-16 21:59
Forum topic	Haskell V Java type checking Nor do I see anything that connects the data types C and D to th by Patrick Browne functions added by Patrick Browne	Patrick Browne	2011-11-09 17:31
Forum topic	Is lambda calculus a logic?	Patrick Browne	2010-07-23 21:42
Forum topic	Haskell and logic Reason (3) does not seem to be a valid one. by Patrick Browne Where is the logic in Haskell? by Patrick Browne	Patrick Browne	2009-12-18 18:27
Forum topic	Approaches to dependent types(DT)	Patrick Browne	2009-07-23 00:08
Forum topic	Haskell's type classes and CafeOBJ's module system	Patrick Browne	2009-03-26 00:41

---

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