Relational Parametricity for Computational Effects

An EPSRC grant from October 2006 to September 2007 employed Rasmus Møgelberg to investigate how to combine Reynold's theory of relational parametricity (for reasoning about parametric polymorphism) with the presence of computational effects in programming languages.