Exploring QWIRE: A Language for Quantum Circuits

Delve into the details of QWIRE, a core language for quantum circuits, designed for safety, type-safety, and expressiveness. Discover the reasons for the success of the circuit model, the QRAM model, and the importance of type safety languages. Learn about the separation of classical and quantum com

0 views • 27 slides