Home
Schedule
Featured
Papers
PLDI Tracks
PLDI A
PLDI B
Colocated
Community
Sponsors
Help
#Slack
Gather
Toward A Quantum Programming Language for Higher-Level Formal Verification
Finn Voichick, Michael Hicks
Appearing at PLanQC: Programming Languages for Quantum Computing