SPEAKER:
Christian Steinruecken

TITLE:
Quantum Programming Languages


ABSTRACT:
This talk will investigate some of the problems
quantum computation presents to designers of
functional programming languages, and how type
systems can be devised to make such languages safe.

I will give a general introduction to quantum
programming and how it differs from its classical
counterpart, considering aspects of computation
theory and complexity.
I will then show how different quantum-complete
languages can be designed and illustrate this with
a language called "QML", which offers higher order
functions, polymorphism and algebraic datatypes,
and a static type system based on context
restrictions and Girard's Linear Logic.