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 Twenty-second Annual IEEE Symposium on Logic in Computer Science, pp. 346-355, 2007.
  (postscript, pdf)

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

• A logic for parametric polymorphism with effects
  Rasmus Møgelberg and Alex Simpson
  To appear in post-conference proceedings for selected papers from TYPES 2007
  Springer LNCS, to appear 2008.
  (postscript, pdf)

• Final report for EPSRC project (postscript, pdf)

• Home
• Research
• Talks