Infoscience

Report

Lightweight Polymorphic Effects - Proofs

This technical report presents the full proofs for the type preservation and effect soundness theorems of the type system presented in the article "Lightweight Polymorphic Effects".

    Reference

    • EPFL-REPORT-173820

    Record created on 2012-01-12, modified on 2016-08-09

Related material