Algebraic reconstruction of types and e ects (1991)

by P Jouvelot, Gi ord, D K
Venue:ACM POPL'91