Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
Toward a Type-Theoretic Interpretation of Q#
and Statically Enforcing the No-Cloning Theorem
Kartik Singhal
,
Sarah Marshall
,
Kesha Hietala
,
Robert Rand
June 2021
PDF
Cite
Slides
Video
Type
Workshop paper
Publication
International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)
Cite
×