Personal tools
You are here: Home Events Lab lunch speakers 2010 Robert Atkey

Robert Atkey

Relational Parametricity for Higher Kinds

Reynolds' notion of relational parametricity has been extremely influential and well studied for polymorphic type theories based on System F. The extension of relational parametricity to higher kinded polymorphism, which allows quantification over type operators as well as types, has not been as well studied. In this talk I'll discuss a model of relational parametricity for System F\omega and talk about some of its consequences.

Document Actions