Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem

Kartik Singhal,Sarah Marshall,Kesha Hietala,Robert Rand

Appearing at PLanQC: Programming Languages for Quantum Computing