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

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

Browse the full RC paper archive.