Sciweavers

1932 search results - page 2 / 387
» A Functional Quantum Programming Language
Sort
View
ENTCS
2008
90views more  ENTCS 2008»
13 years 4 months ago
Quantum Data and Control Made Easier
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...
ENTCS
2008
110views more  ENTCS 2008»
13 years 4 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron
ICALP
2001
Springer
13 years 9 months ago
Separating Quantum and Classical Learning
We consider a model of learning Boolean functions from quantum membership queries. This model was studied in [26], where it was shown that any class of Boolean functions which is i...
Rocco A. Servedio
CORR
2008
Springer
71views Education» more  CORR 2008»
13 years 4 months ago
A Survey of Quantum Programming Languages: History, Methods, and Tools
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
Donald A. Sofge
CORR
2004
Springer
97views Education» more  CORR 2004»
13 years 4 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
Benoît Valiron