Theoretical Computer Science
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Towards a quantum programming language
Mathematical Structures in Computer Science
A Functional Quantum Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Quantum Computation and Quantum Information: 10th Anniversary Edition
Quantum Computation and Quantum Information: 10th Anniversary Edition
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Classically controlled quantum computation
Mathematical Structures in Computer Science
Journal of the ACM (JACM)
An Algebra of Pure Quantum Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Programs With Classical Output Streams
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantum Game Semantics for the Measurement Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
On a Fully Abstract Model for a Quantum Linear Functional Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
An Overview of QML With a Concrete Implementation in Haskell
Electronic Notes in Theoretical Computer Science (ENTCS)
Taming non-compositionality using new binders
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Hi-index | 0.00 |
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.