Toward Formalizing the Q# Programming Language

Sarah Marshall, Kartik Singhal, Kesha Hietala, Robert Rand

June 2021

Type

Publication

International Conference on Quantum Physics and Logic (QPL 2021) Poster