Seminar: Quantum Programming Languages
Date: December 16, 2004 (Thursday) at 15:15
Quantum Programming Languages
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