Quantum Hoare Type Theory

Toward a unified system for programming, specifying, and reasoning about quantum programs.