Tracking Errors through Types in Quantum Programs

POPL 2020