The quantum IO monad

MaRDI QIDQ3560840zbMATH OpenFDO

Authors Thorsten Altenkirch, Alexander S. Green

Publication date 14 May 2010

zbMATH Keywords

QIO programsrandom number generator

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• An overview of QML with a concrete implementation in Haskell
• Quantum arrows in Haskell
• scientific article; zbMATH DE number 1612487
• Structuring quantum effects: superoperators as arrows
• On the automation of encoding processes in the quantum IO monad

Cited in

(11)

• Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
• Quantum arrows in Haskell
• Semantics of higher-order quantum computation via geometry of interaction
• Quantum computation: from a programmer's perspective
• Mimicking quantum mechanics using reactive programming
• On the automation of encoding processes in the quantum IO monad
• Structuring quantum effects: superoperators as arrows
• Reversible monadic computing
• Type-safe quantum programming in Idris
• The quantum monadology
• Q\# as a quantum algorithmic language

This page was built for publication: The quantum IO monad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3560840)