Sciweavers

111 search results - page 1 / 23
» Algebraic Effects, Linearity, and Quantum Programming Langua...
Sort
View
CORR
2008
Springer
71views Education» more  CORR 2008»
13 years 11 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
GECCO
2003
Springer
121views Optimization» more  GECCO 2003»
14 years 4 months ago
Evolving Hogg's Quantum Algorithm Using Linear-Tree GP
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
André Leier, Wolfgang Banzhaf
LICS
2005
IEEE
14 years 4 months ago
A Functional Quantum Programming Language
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
Thorsten Altenkirch, Jonathan Grattage
ENTCS
2008
110views more  ENTCS 2008»
13 years 11 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
IFIP
1994
Springer
14 years 2 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich