Quantum programming languages: survey and bibliography
From MaRDI portal
Publication:5482260
Recommendations
Cited in
(45)- Reasoning about faulty quantum programs
- Quantum implicit computational complexity
- Reachability analysis of quantum Markov decision processes
- Semantics for a quantum programming language by operator algebras
- Towards implementation of a generalized architecture for high-level quantum programming language
- Quantum walks: a comprehensive review
- Encodability criteria for quantum based systems
- Semantics of quantum programming languages: Classical control, quantum control
- Quantum programming with inductive datatypes: causality and affine type theory
- Models of quantum computation and quantum programming languages
- Formal meta-level analysis framework for quantum programming languages
- Termination of nondeterministic quantum programs
- Probabilistic bisimulations for quantum processes
- Classical concepts in quantum programming
- On block structures in quantum computation
- An overview of QML with a concrete implementation in Haskell
- Scalar System F for linear-algebraic -calculus: towards a quantum physical logic
- A hierarchy of quantum semantics
- An introduction to quantum programming in Quipper
- Quantum data and control made easier
- scientific article; zbMATH DE number 6712184 (Why is no real title available?)
- Can a quantum computer run the von Neumann architecture?
- Type structure and chiral breaking in the standard model
- Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17--19 July 2006
- scientific article; zbMATH DE number 1512863 (Why is no real title available?)
- scientific article; zbMATH DE number 2150788 (Why is no real title available?)
- Quantum computation: from a programmer's perspective
- Towards a quantum programming language
- A model-theoretic interpretation of environment-induced superselection
- On the automation of encoding processes in the quantum IO monad
- scientific article; zbMATH DE number 7364199 (Why is no real title available?)
- Sized Types for Low-Level Quantum Metaprogramming
- Implementing NChooseK on IBM Q Quantum Computer Systems
- FJQuantum. A quantum object oriented language
- Functional and Logic Programming
- Typed Lambda Calculi and Applications
- A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY
- Semantic embedding for quantum algorithms
- \(Q|SI\rangle \): a quantum programming environment
- Foundations of quantum programming
- Encodability criteria for quantum based systems
- A rewriting theory for quantum -calculus
- Quantum programming languages: a tentative study
- Quantum loop programs
- Generalised quantum weakest preconditions
This page was built for publication: Quantum programming languages: survey and bibliography
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482260)
