Algebraic reconstruction of types and effects (1991)

by P Jouvelot, D Gifford
Venue:in ``Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL