The Quantum IO Monad (2010)

by T Altenkirch, A S Green
Venue:Semantic Techniques in Quantum Computation