Algebraic reconstruction of types and effects (0)

by P Jouvelot, D Gifford
Venue:In 18 ‘th ACM Symposium on Principles of Programming Languages