Algebraic reconstruction of types and eects (1991)

by P Jouvelot, D K Gifford
Venue:In Eighteenth ACM Symposium on Principles of Programming Languages