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
Structuring quantum effects: superoperators as arrows
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Data and Control Made Easier
Electronic Notes in Theoretical Computer Science (ENTCS)
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Game Semantics for Quantum Stores
Electronic Notes in Theoretical Computer Science (ENTCS)
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
Quantum implicit computational complexity
Theoretical Computer Science
A linear-non-linear model for a computational call-by-value lambda calculus
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
On the completeness of quantum computation models
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Game Semantics for Quantum Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence Results for a Quantum Lambda Calculus with Measurements
Electronic Notes in Theoretical Computer Science (ENTCS)
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quipper: a scalable quantum programming language
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Applying quantitative semantics to higher-order quantum computing
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
On Block Structures in Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper we develop a functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the ‘quantum data, classical control’ paradigm, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and 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.