The Essence of Q#
Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert RandMay 8, 2021
Ongoing project with the aim to establish firm mathematical foundations for the Q# programming language. See available publications and/or reach out to me for details.
Quantum Computing Quantum Computation Programming Languages Formal Specification Formal language definitions Type Systems Semantics and reasoning Quantum Programming Languages Language Design Q#
This post summarizes the features of Microsoft’s Q# Language Specification. It is derived from §2.1 of my thesis proposal. I also created a PDF version of the Q# language specification. Overview Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. It lets one seamlessly combine classical and quantum computation while providing a separation between pure classical functions and effectful quantum operations, collectively known as callables.
Last updated on Nov 10, 2022
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand (2022). Q# as a Quantum Algorithmic Language. QPL 2022.
Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.