|
91
|
Towards a quantum programming language
– Peter Selinger
- 2004
|
|
56
|
Quantum Programming
– J. W. Sanders, P. Zuliani
- 1999
|
|
1123
|
Quantum Computation and Quantum Information
– M A Nielsen, I L Chuang
- 2000
|
|
39
|
Conventions for Quantum Pseudocode
– E. Knill
- 1996
|
|
35
|
A functional quantum programming language
– Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
- 2005
|
|
23
|
A procedural formalism for quantum computing
– Bernhard Ömer
- 1998
|
|
15
|
Modeling quantum computing in haskell
– A Sabry
- 2003
|
|
27
|
Quantum programming in QCL
– Bernhard Ömer
- 2000
|
|
734
|
A Fast Quantum Mechanical Algorithm for Database Search
– Lov K. Grover
- 1996
|
|
15
|
Quantum Programming Languages: Survey and Bibliography
– S J Gay
|
|
10
|
Structure and Interpretation of Quantum Mechanics - a Functional Framework
– Jerzy Karczmarczuk
- 2003
|
|
36
|
Toward An Architecture For Quantum Programming
– S. Bettelli, T. Calarco, L. Serafini
- 2003
|
|
9
|
A brief survey of quantum programming languages
– Peter Selinger
- 2004
|
|
713
|
Algorithms for Quantum Computation: Discrete Logarithms and Factoring
– Peter W. Shor
- 1994
|
|
38
|
A lambda calculus for quantum computation
– André Van Tonder
|
|
584
|
Quantum theory, the Church-Turing principle and the universal quantum computer
– David Deutsch
- 1985
|
|
9
|
Functional Quantum Programming
– Shin-Cheng Mu, Richard Bird
- 2001
|
|
22
|
Quantum Weakest Preconditions
– Ellie D'Hondt, Prakash Panangaden
- 2005
|
|
34
|
A lambda calculus for quantum computation with classical control
– Peter Selinger, Benoît Valiron
- 2005
|
