The Essence of Q#

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand
May 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#

Posts

Q# Programming Language
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
Project

Publications

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand (2022). Q# as a Quantum Algorithmic Language. QPL 2022.

PDF Cite Code Project Slides Video arXiv

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.

PDF Cite Project Slides Video Venue

Sarah Marshall, Kartik Singhal, Kesha Hietala, Robert Rand (2021). Toward Formalizing the Q# Programming Language. QPL 2021: Poster.

PDF Project Poster