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”:

On quantum circuits:

  • M. Amy, M. Crawford, A. N. Glaudell, M. L. Macasieb, S. S. Mendelson, Neil J. Ross, Catalytic Embeddings of Quantum Circuits [arXiv:2305.07720]
category: people

Last revised on February 5, 2024 at 08:13:12. See the history of this page for a list of all contributions to it.