QML
From MaRDI portal
Cited in
(42)- Quantum programming languages: a tentative study
- Quantum alternation: prospects and problems
- Reversibility in the higher-order \(\pi\)-calculus
- On block structures in quantum computation
- Reversible monadic computing
- 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
- An overview of QML with a concrete implementation in Haskell
- Generalised quantum weakest preconditions
- Termination of nondeterministic quantum programs
- A categorical construction for the computational definition of vector spaces
- Quantum walks: a comprehensive review
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Quipper
- verifier
- Pesca
- FliPpr
- Theseus
- qPCF
- QWire
- Forest
- nQML
- Alms
- Feynman
- metaQASM
- QPL
- QPMC
- qGCL
- An algebra of pure quantum programming
- Reversing algebraic process calculi
- Reasoning about faulty quantum programs
- Sized Types for Low-Level Quantum Metaprogramming
- A new connective in natural deduction, and its application to quantum computing
- DEMONIC
- Quantum computation: from a programmer's perspective
- From reversible to irreversible computations
- Toward automatic verification of quantum programs
- Quantum arrows in Haskell
- A hierarchy of quantum semantics
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Quantum loop programs
This page was built for software: QML
