Lightweight Polymorphic Effects - Proofs
Rytz, Lukas; Odersky, Martin; Haller, Philipp
2012

Files

Abstract

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".

Details

Title Lightweight Polymorphic Effects - Proofs
Author(s) Rytz, Lukas ; Odersky, Martin ; Haller, Philipp
Date 2012
Laboratories LAMP
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory
Work produced at EPFL
Technical Reports
Published
Record creation date 2012-01-12

PDF