ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
6
Integrating Dependency Building with Document Checking in Coq
Emilio Jesús Gallego Arias
,
Bhakti Shah
Expanding the VOQC Toolkit
Kesha Hietala
,
Liyi Li
,
Akshaj Gaur
,
Aaron Green
,
Robert Rand
,
Xiaodi Wu
,
Michael Hicks
Extending Gottesman Types Beyond the Clifford Group
Robert Rand
,
Aarthi Sundaram
,
Kartik Singhal
,
Brad Lackey
Toward a Type-Theoretic Interpretation of Q#
Kartik Singhal
,
Sarah Marshall
,
Kesha Hietala
,
Robert Rand
Cite
×