559 citations · 1.1k across the 21 of their papers we have counts for
6 papers · 1 filter
Proto-Quipper with dynamic lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we exte…
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper and Proto-Quipper are a family of quantum programming languages that, by their nature as circuit description languages, involve two runtimes: one at which the program gener…
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Peng Fu, Kohei Kishida, Neil J. Ross +1
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several exampl…
Quipper: Concrete Resource Estimation in Quantum Algorithms
Jonathan M. Smith, Neil J. Ross, Peter Selinger +1
Despite the rich literature on quantum algorithms, there is a surprisingly small amount of coverage of their concrete logical design and implementation. Most resource estimation is…
An Introduction to Quantum Programming in Quipper
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2
Quipper is a recently developed programming language for expressing quantum computations. This paper gives a brief tutorial introduction to the language, through a demonstration of…
Quipper: A Scalable Quantum Programming Language
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2
The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the…