QML
From MaRDI portal
Software:5973013
swMATH46093MaRDI QIDQ5973013FDOQ5973013
Author name not available (Why is that?)
Cited In (26)
- Quantum programming languages: a tentative study
- Reversible monadic computing
- Reversibility in the higher-order \(\pi\)-calculus
- On block structures in quantum computation
- 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}\)
- An algebra of pure quantum programming
- Reversing algebraic process calculi
- Sized Types for Low-Level Quantum Metaprogramming
- Title not available (Why is that?)
- Reasoning about faulty quantum programs
- A new connective in natural deduction, and its application to quantum computing
- Quantum computation: from a programmer's perspective
- From reversible to irreversible computations
- Quantum arrows in Haskell
- Toward automatic verification of quantum programs
- 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
