An overview of QML with a concrete implementation in Haskell

DOI10.1016/J.ENTCS.2011.01.015MaRDI QIDQ2825353zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jonathan Grattage

Publication date 7 October 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.01.015

zbMATH Keywords

denotational semanticsfunctional quantum programming languageHaskelloperational semanticsQMLteleport

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Quantum data and control made easier
• An introduction to quantum programming in Quipper
• Towards a quantum programming language
• Typed Lambda Calculi and Applications
• A lambda calculus for quantum computation with classical control

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

Describes a project that uses

Uses Software

• QML
• Haskell
• QPL

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)