Quantum programming languages: survey and bibliography
From MaRDI portal
Publication:5482260
DOI10.1017/S0960129506005378zbMATH Open1122.68021MaRDI QIDQ5482260FDOQ5482260
Authors: Simon J. Gay 
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
Cited In (42)
- Quantum programming languages: a tentative study
- On block structures in quantum computation
- Formal meta-level analysis framework for quantum programming languages
- A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY
- Quantum data and control made easier
- Probabilistic bisimulations for quantum processes
- An overview of QML with a concrete implementation in Haskell
- Reachability analysis of quantum Markov decision processes
- Encodability criteria for quantum based systems
- Models of quantum computation and quantum programming languages
- Generalised quantum weakest preconditions
- Semantic embedding for quantum algorithms
- Termination of nondeterministic quantum programs
- Quantum walks: a comprehensive review
- Can a quantum computer run the von Neumann architecture?
- Functional and Logic Programming
- \(Q|SI\rangle \): a quantum programming environment
- A model-theoretic interpretation of environment-induced superselection
- Semantics for a quantum programming language by operator algebras
- Title not available (Why is that?)
- Implementing NChooseK on IBM Q Quantum Computer Systems
- Sized Types for Low-Level Quantum Metaprogramming
- Encodability criteria for quantum based systems
- Reasoning about faulty quantum programs
- Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
- Quantum programming with inductive datatypes: causality and affine type theory
- Title not available (Why is that?)
- On the automation of encoding processes in the quantum IO monad
- FJQuantum. A quantum object oriented language
- Classical concepts in quantum programming
- Quantum computation: from a programmer's perspective
- Quantum implicit computational complexity
- Typed Lambda Calculi and Applications
- Title not available (Why is that?)
- Towards implementation of a generalized architecture for high-level quantum programming language
- Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17--19 July 2006
- An introduction to quantum programming in Quipper
- Type structure and chiral breaking in the standard model
- Title not available (Why is that?)
- A hierarchy of quantum semantics
- Towards a quantum programming language
- Quantum loop programs
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)
