swMATH46093MaRDI QIDQ5973013FDOQ5973013
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/quant-ph/0409065
Cited In (42)
- Quantum programming languages: a tentative study
- DEMONIC
- 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
- Quipper
- verifier
- Pesca
- FliPpr
- Theseus
- qPCF
- QWire
- Forest
- nQML
- Alms
- Feynman
- metaQASM
- Reversing algebraic process calculi
- Sized Types for Low-Level Quantum Metaprogramming
- Reasoning about faulty quantum programs
- A new connective in natural deduction, and its application to quantum computing
- QPL
- QPMC
- qGCL
- 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
- Quantum alternation: prospects and problems
This page was built for software: QML
