Lightweight Polymorphic Effects - Proofs

Rytz, Lukas; Odersky, Martin; Haller, Philipp

report

Rytz, Lukas

•

Odersky, Martin

•

Haller, Philipp

2012

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

Cite this item

Rytz, L., Odersky, M., & Haller, P. (2012). Lightweight Polymorphic Effects - Proofs. https://infoscience.epfl.ch/handle/20.500.14299/76578

Click Copy to copy the citation, or select the text manually.

Download

Name

proofs_1.pdf

Access type

openaccess

Size

332.11 KB

Format

Adobe PDF

Checksum (MD5)

a69e2c2013b02bb774a3fe4ddbde154c