Dependently Typed Quantum Programming in Proto-Quipper

POPL 2020