An overview of QML with a concrete implementation in Haskell
From MaRDI portal
Recommendations
Cites work
- An algebra of pure quantum programming
- From reversible to irreversible computations
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Quantum programming languages: survey and bibliography
- Structuring quantum effects: superoperators as arrows
- Towards a quantum programming language
- Typed Lambda Calculi and Applications
Cited in
(9)- QPCF: higher-order languages and quantum circuits
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- Quantum data and control made easier
- On quantum lambda calculi: a foundational perspective
- \textsc{qPCF}: a language for quantum circuit computations
- Semantics of higher-order quantum computation via geometry of interaction
- The quantum IO monad
- Quantum programming made easy
- Structuring quantum effects: superoperators as arrows
This page was built for publication: An overview of QML with a concrete implementation in Haskell
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825353)