Quantum Programming in Quipper

Speaker: Alexander Green, University of Dalhousie

Abstract: Quipper is a recently developed programming language for expressing quantum computations. This seminar will give a brief tutorial introduction to the language, through a demonstration of how to make use of some of its key features.
During the talk I shall illustrate many of Quipper's language features by developing a few well known examples of Quantum computation, including quantum teleportation, the quantum Fourier transform, and a quantum circuit for addition. As Quipper is embedded within the functional language Haskell, I shall also give an overview of how some of these features have been implemented.

Alexander Green is a former student of the School of Computer Science, University of Nottingham.