Relational Parametricity for Computational Effects

  • Simpson, Alexander (Principal Investigator)
Chapter (peer-reviewed)

Search results

  • 2008

    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-Verlag GmbH, Vol. 4941. p. 142-156 15 p. (Lecture Notes in Computer Science; vol. 4941).

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

    Open Access