denotational semantics

Semantics of higher-order quantum computation via geometry of interaction

While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aiming at structured quantum programming. The current work contributes to …

QWIRE: A Core Language for Quantum Circuits

This paper introduces QWIRE ("choir"), a language for defining quantum circuits and an interface for manipulating them inside of an arbitrary classical host language. QWIRE is minimal---it contains only a few primitives---and sound with respect to …

A Brief Survey of Quantum Programming Languages

This article is a brief and subjective survey of quantum programming language research.