The following pages link to QML (Q5973013):
Displaying 26 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- On block structures in quantum computation (Q265814) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Quantum programming languages: a tentative study (Q954406) (← links)
- Quantum loop programs (Q977174) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Quantum walks: a comprehensive review (Q1757875) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits (Q2825343) (← links)
- An Overview of QML With a Concrete Implementation in Haskell (Q2825353) (← links)
- An Algebra of Pure Quantum Programming (Q2864167) (← links)
- A Hierarchy of Quantum Semantics (Q2864503) (← links)
- From Reversible to Irreversible Computations (Q2870206) (← links)
- Quantum Data and Control Made Easier (Q2870210) (← links)
- Quantum Arrows in Haskell (Q2870213) (← links)
- (Q5015185) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- Reversible monadic computing (Q5971401) (← links)
