A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.
Peng FuKohei KishidaNeil J. RossPeter SelingerPublished in: RC (2020)
Keyphrases
- logic circuits
- programming language
- higher order
- logic synthesis
- general purpose
- quantum computing
- gentle introduction
- databases
- quantum mechanics
- lambda calculus
- circuit design
- programming environment
- object oriented programming
- electronic circuits
- quantum inspired
- development environment
- high speed
- digital circuits
- real time
- analog circuits
- delay insensitive
- introductory computer science
- probability ranking principle