Relational Parametricity for Computational Effects

  • Simpson, Alexander (Principal Investigator)

Project Details

Key findings

The grant proposed a solution to the problem of how to model the notion of "parametric polymorphism" (programs operating uniformly across many different types) in the presence of "computational effects" (irreversible state-changing aspects of computation). An extended worked example specializing the framework to "control effects" (program jumps and other similar mechanisms that affect the
control flow of a program) demonstrated the applicability of the method.
StatusFinished
Effective start/end date1/10/0631/05/08

Funding

  • ESRC: £64,707.00