Playlouder - Music is the Network

Stalk feed about Type Theory and Functional Pro...

• 20:15, 22 Dec 2007

  Type Theory and Functional Programming was tagged with dependent types by matthew
• 20:14, 22 Dec 2007

  Type Theory and Functional Programming was tagged with haskell by matthew
• 20:14, 22 Dec 2007

  Type Theory and Functional Programming was tagged with bertrand russell by matthew
• 20:14, 22 Dec 2007

  Type Theory and Functional Programming was tagged with geek by matthew