Modalities in Proto-Quipper
Frank Fu speaking at the BIRS workshop 24w5307: Quantum Circuit Design Automation (Jun 02 - Jun 07). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.