ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
3
A Rich Type System for Quantum Programs
Aarthi Sundaram
,
Robert Rand
,
Kartik Singhal
,
Brad Lackey
MCBeth: A Measurement Based Quantum Programming Language
Aidan Evans
,
Seun Omonije
,
Robert Soulé
,
Robert Rand
Qunity: A Unified Language for Quantum and Classical Computing
Finn Voichick
,
Robert Rand
,
Michael Hicks
VyZX: A Vision for Verifying the ZX Calculus
Adrian Lehmann
,
Ben Caldwell
,
Robert Rand
Cite
×