1932 search results - page 1 / 387 » A Functional Quantum Programming Language |
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
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 ...
UC
2009
Springer
13 years 11 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
ENTCS
2007
13 years 4 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
APLAS
2001
ACM
13 years 8 months ago
2001
ACM