The Quipper Quantum Programming Language

Quipper is a high-level programming language for the description, transformation, and simulation of quantum circuits. Prior to Quipper, most quantum programming languages were low-level, allowing only gate-by-gate descriptions of quantum algorithms. On the other hand, quantum algorithms in research papers are often described in terms of high-level concepts. Quipper aims to bridge this gap. Bio: Peter Selinger is a professor of mathematics at Dalhousie University. His research is on the semantics of programming languages, quantum circuit theory, combinatorial game theory, type theory, and category theory, among other things.