Effect systems with subtyping (1995)

by Yan Mei Tang, Pierre Jouvelot
Venue:In Proceedings of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM’95