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)

Robert Rand
Robert Rand
Assistant Professor of Computer Science

My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation.