Jennifer Paykin

Latest

• A HoTT Quantum Equational Theory (Extended Version)
• ReQWIRE: Reasoning about Reversible Quantum Circuits
• Linear/Non-Linear Types for Embedded Domain-Specific Languages
• QWIRE Practice: Formal Verification of Quantum Circuits in Coq
• Phantom Types for Quantum Programs
• QWIRE: A Core Language for Quantum Circuits