Loading...
report
Lightweight Polymorphic Effects - Proofs
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".
Loading...
Name
proofs_1.pdf
Access type
openaccess
Size
332.11 KB
Format
Adobe PDF
Checksum (MD5)
a69e2c2013b02bb774a3fe4ddbde154c