The Quipper Quantum Programming Language

Описание к видео 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.

Комментарии

Информация по комментариям в разработке