529 citations · 1.5k across the 38 of their papers we have counts for
4 papers · 1 filter
A Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot +2
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of su…
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…