Linear Dependent Type Theory for Quantum Programming Languages.
Peng FuKohei KishidaPeter SelingerPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- programming language
- strongly typed
- software engineering
- general purpose
- object oriented
- programming environment
- quantum computing
- lambda calculus
- high level
- object oriented programming
- probability ranking principle
- database languages
- quantum mechanics
- specification language
- functional programming
- logic programming
- denotational semantics
- relational databases
- concurrent programming
- computer programs
- database systems
- machine learning
- databases