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

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

doi:10.1007/978-3-030-52482-1_9

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

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

Philosophy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Reversible Computation
Subtitle of host publication	12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Pages	153-168
DOIs	https://doi.org/10.1007/978-3-030-52482-1_9
State	Published - Jul 9 2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-030-52482-1_9

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

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. / Fu, Peng; Kishida, Kohei; Ross, Neil J; Selinger, Peter.

Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. 2020. p. 153-168 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@inproceedings{3d0e4bc19e094aacbbfd6fdefdaa0918,

title = "A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper",

author = "Peng Fu and Kohei Kishida and Ross, {Neil J} and Peter Selinger",

year = "2020",

month = jul,

day = "9",

doi = "10.1007/978-3-030-52482-1_9",

language = "English (US)",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "153--168",

booktitle = "Reversible Computation",

}

TY - GEN

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

AU - Fu, Peng

AU - Kishida, Kohei

AU - Ross, Neil J

AU - Selinger, Peter

PY - 2020/7/9

Y1 - 2020/7/9

U2 - 10.1007/978-3-030-52482-1_9

DO - 10.1007/978-3-030-52482-1_9

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 153

EP - 168

BT - Reversible Computation

ER -