Quantum data and control made easier

DOI10.1016/J.ENTCS.2008.04.020MaRDI QIDQ2870210zbMATH OpenOpenAlexFDO

Authors Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou

Publication date 17 January 2014

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.2008.04.020

zbMATH Keywords

denotational semanticsfunctional quantum programming languagetype system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Recommendations

• An overview of QML with a concrete implementation in Haskell
• Quantum programming made easy
• Towards a quantum programming language
• A lambda calculus for quantum computation with classical control
• Quantum programming languages: a tentative study

Cites work

• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quantum programming languages: survey and bibliography
• Towards a quantum programming language

Cited in

(7)

• QPCF: higher-order languages and quantum circuits
• An overview of QML with a concrete implementation in Haskell
• Quantum patterns and types for entanglement and separability
• \textsc{qPCF}: a language for quantum circuit computations
• nQML
• Quantum alternation: prospects and problems
• Quantum programming made easy

Describes a project that uses

Uses Software

• QPL
• Haskell
• qGCL
• QML

This page was built for publication: Quantum data and control made easier

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