Quantum programming

Known as: Imperative quantum programming languages, Quantum programming language, Quipper (programming language) 
Quantum programming is a set of computer programming languages that allow the expression of quantum algorithms using high-level constructs. The point… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present IQu, namely a quantum programming language that extends Reynold’s Idealized Algol, the paradigmatic core of Algol-like… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
2016
2016
This paper applies established techniques for concurrent programming in Haskell to the case of Concurrent Quantum Programming… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
Supported by the Intelligence Advanced Research Projects Activity (IARPA) via Department of Interior National Business Center… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
In standard computation, non-determinism is used for specifying programs’ behaviour, without having to specify details of… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
It has been shown that non-determinism, both angelic and demonic, can be encoded in a functional language in different… (More)
Is this relevant?
2000
2000
Quantum Programming 2004 The subject of this work is quantum programming — the study of developing of programs intended for… (More)
  • figure 3.1
  • figure 6.1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We give an account of the quantum noiseless coding theorem, including a new proof based on a simpliied block coding scheme. We… (More)
Is this relevant?