An Overview of QML With a Concrete Implementation in Haskell
From MaRDI portal
Publication:2825353
DOI10.1016/j.entcs.2011.01.015zbMath1347.68053OpenAlexW1972751916WikidataQ62037057 ScholiaQ62037057MaRDI QIDQ2825353
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
operational semanticsHaskelldenotational semanticsQMLfunctional quantum programming languageteleport
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
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