Finn Voichick

Voichick, F. ., Li, L. ., Rand, R. ., & Hicks, M. . (2022). Qunity: A Unified Language for Quantum and Classical Computing (Type Checker). Proceedings of the ACM on Programming Languages. http://doi.org/10.5281/ZENODO.7382711 (Original work published January 2023)