Containers 2

Photograph of Neil Ghani

Neil Ghani


Containers were introduced to represent a calculus of concrete datatypes - more powerful than the usual polynomial functors, but without the problems of mixed variance datatypes or definitions by impredicativity.

In this talk I will recap this research and then introduce the latest developments from the East Midlands Container Corporation - Containers 2. Remarkably, for a small extension of the container paradigm, we get a significant increase in both the beauty, expressiveness and applicativity of the theory of containers. My talk will bring these ideas to the fore and will be of a high level overview.
Tuesday 1st November 2005, 14:00
Robert Recorde Room
Department of Computer Science