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/06 → 31/05/08

Funding

  • ESRC: £64,707.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Article
  • 1 Conference contribution
  • 1 Chapter (peer-reviewed)

  • Relational Parametricity for Computational Effects

    Mogelberg, R. & Simpson, A., 2009, In: Logical Methods in Computer Science. 5, 3, p. 1-31 31 p., 7.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • A logic for parametric polymorphism with effects

    Simpson, A. & Mogelberg, R., 2008, Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Springer, Vol. 4941. p. 142-156 15 p. (Lecture Notes in Computer Science; vol. 4941).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

    Open Access
    File

  • Relational Parametricity for Computational Effects

    Simpson, A. & Mogelberg, R., Jul 2007, Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, p. 346-355 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
View all 4 research outputs