ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
8
A Rich Type System for Quantum Programs
--
Aarthi Sundaram
,
Robert Rand
,
Kartik Singhal
,
Brad Lackey
Toward Formalizing the Q# Programming Language
--
Sarah Marshall
,
Kartik Singhal
,
Kesha Hietala
,
Robert Rand
Formal Verification of Gottesman Semantics
--
Jacob Zweifler
,
Robert Rand
Cite
×