Seminar: Quantum Programming Languages

Date: December 16, 2004 (Thursday) at 15:15

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.

Last modified Dec 9, 2011 12:59 pm

0799