An Overview of QML With a Concrete Implementation in Haskell

DOI10.1016/j.entcs.2011.01.015zbMath1347.68053OpenAlexW1972751916WikidataQ62037057 ScholiaQ62037057MaRDI QIDQ2825353

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

operational semanticsHaskelldenotational semanticsQMLfunctional quantum programming languageteleport

Mathematics Subject Classification ID

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

Related Items (6)

Semantics of higher-order quantum computation via geometry of interaction ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ QPCF: higher-order languages and quantum circuits ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic

Uses Software

• Haskell
• QPL
• QML

Cites Work

• Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
• An Algebra of Pure Quantum Programming
• From Reversible to Irreversible Computations
• Towards a quantum programming language
• Quantum programming languages: survey and bibliography
• Structuring quantum effects: superoperators as arrows
• Typed Lambda Calculi and Applications

This page was built for publication: An Overview of QML With a Concrete Implementation in Haskell