From HaskellWiki

Articles using Haskell for mathematics, and the mathematics of Haskell.

For further references see the:

Haskell for mathematics

General

Calculus and Differential Geometry

Algebraic Topology and Geometry

Geometry

Group theory

Set theory

Ring theory

Number theory

Cryptography and coding theory

Logic

Numerics

Theorem proving

Quantum computing

Mathematics of Haskell

Category theoretic

Category Theory and the Category of Haskell programs: Part 1 Part 2 Part 3



Lambda and combinator calculi

Other formal logics