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