A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper

Peng Fu, Kohei Kishida, Neil J Ross, Peter Selinger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationReversible Computation
Subtitle of host publication12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Pages153-168
DOIs
StatePublished - Jul 9 2020

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Cite this

Fu, P., Kishida, K., Ross, N. J., & Selinger, P. (2020). A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. In Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (pp. 153-168). (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-52482-1_9