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