A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper.
Peng FuKohei KishidaNeil J. RossPeter SelingerPublished in: CoRR (2020)
Keyphrases
- logic circuits
- programming language
- high speed
- higher order
- gentle introduction
- logic synthesis
- quantum computation
- object oriented programming
- programming environment
- computer programming
- introductory computer science
- electronic circuits
- circuit design
- data sets
- low power
- information retrieval
- programming course
- digital circuits
- development environment
- computer programs
- quantum inspired
- high level
- search engine