Haskell (in type theory)
Coq, Agda (in dependent type theory)
Quipper (for quantum computation)
(…)
Discussion of aspects of quantum computing in terms of monads in functional programming are in
Last revised on September 30, 2016 at 05:20:49. See the history of this page for a list of all contributions to it.