research
∙
06/07/2022
Q# as a Quantum Algorithmic Language
Q# is a standalone domain-specific programming language from Microsoft f...
share
research
∙
09/06/2021
Quantum Hoare Type Theory: Extended Abstract
As quantum computers become real, it is high time we come up with effect...
research
∙
09/06/2021
Gottesman Types for Quantum Programs
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
01/22/2021
Static Analysis of Quantum Programs via Gottesman Types
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
12/03/2020