Toward a Type-Theoretic Interpretation of Q#

and Statically Enforcing the No-Cloning Theorem

Publication
International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)