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


Année
2012
Laboratoires:




 Notice créée le 2012-01-12, modifiée le 2019-03-16

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)