ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
type systems
Q# as a Quantum Algorithmic Language
Kartik Singhal
,
Sarah Marshall
,
Kesha Hietala
,
Robert Rand
A Rich Type System for Quantum Programs
Aarthi Sundaram
,
Robert Rand
,
Kartik Singhal
,
Brad Lackey
Cite
×