Chapter 1 Shor in Haskell The Quantum IO Monad (2008)
Er S. Green, Thorsten Altenkirch
Quantum IO monad, and use it to implement Shor’s factorisation algorithm. The QIO monad separates reversible (i.e. unitary) and irreversible (i.e. probabilistic) computations and provides a...