Lambda the Ultimate

type	title	author	last post
Story	Why Dependent Types Matter wxHaskell by alti Eclipse? by alti Epigram, partiality and the real world by alti Epigram editor interface by alti backgound knowledge by alti features by alti revolution or evolution by alti	Ehud Lamm	2005-07-05 08:34
Forum topic	Basic(er) Simple(r) Type Theory(?) Meanings of type theory by alti Math for CS by alti	jimdesu	2005-06-18 20:25
Story	Differentiating Data Structures mutually recursive datatypes by alti	Ehud Lamm	2005-05-28 15:17
Forum topic	multidimensional arrays lists as functions by alti	Martin DeMello	2004-10-26 13:47
Forum topic	The Origins of the Turing Thesis Myth Turing completeness by alti	Andris Birkmanis	2004-08-30 07:12

---

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