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.

Relational Parametricity for Computational Effects
Rasmus Møgelberg and Alex Simpson
Proceedings of Twentysecond Annual IEEE Symposium on
Logic in Computer Science, pp. 346355, 2007.
(postscript,
pdf)

Relational Parametricity for Control Considered
as a Computational Effect
Rasmus Møgelberg and Alex Simpson
Proceedings of Twentythird Annual Conference on
Mathematical Foundations of Programming Semantics (MFPS XXIII)
Electronic Notes in Computer Science 173:295312, 2007
(postscript,
pdf)

A logic for parametric polymorphism with effects
Rasmus Møgelberg and Alex Simpson
To appear in postconference proceedings for selected papers from TYPES 2007
Springer LNCS, to appear 2008.
(postscript,
pdf)
 Final report for EPSRC project
(postscript,
pdf)