Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Haskell for mathematics)
(Mathematics of Haskell)
Line 64: Line 64:
 
* [http://www.rubrication.net/2007/04/21/how-a-real-module-system-should-work/ ML, Haskell and Coq]
 
* [http://www.rubrication.net/2007/04/21/how-a-real-module-system-should-work/ ML, Haskell and Coq]
 
* [http://www.alpheccar.org/en/posts/show/70 Djinn, Coq, Monad and a bit of Haskell]
 
* [http://www.alpheccar.org/en/posts/show/70 Djinn, Coq, Monad and a bit of Haskell]
* [http://www.alpheccar.org/en/posts/show/74 Category Theory and the category of Haskell programs]
+
* Category Theory and the Category of Haskell programs:
  +
** [http://www.alpheccar.org/en/posts/show/74 Category Theory and the category of Haskell programs]
  +
** [http://www.alpheccar.org/en/posts/show/76 Part 2]

Revision as of 06:46, 29 June 2007

Contents

1 Maths

1.1 Haskell for mathematics

1.2 Theorem proving

1.3 Quantum computing

1.4 Mathematics of Haskell