529 citations · 1.5k across the 38 of their papers we have counts for
4 papers · 1 filter
Applying quantitative semantics to higher-order quantum computing
Michele Pagani, Peter Selinger, Benoît Valiron
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this pro…
The Vectorial -Calculus
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
We describe a type system for the linear-algebraic -calculus. The type system accounts for the linear-algebraic aspects of this extension of -calculus: it is able to statical…
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…