nLab Neil Ross

Selected writings

Selected writings

Introducing the functional quantum programming language Quipper:

On quantum compilation and introducing Proto-Quipper:

Exposition of the general idea of quantum programming languages for classically controlled quantum computation with an eye towards the Quipper-language:

On quantum programming via dependent linear type theory with Quipper:

On dependent linear type theory and categorical semantics for versions of “Quipper”:

category: people

Last revised on August 16, 2023 at 12:59:00. See the history of this page for a list of all contributions to it.