A generic usage analysis with subeffect qualifiers (2007)

by Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
Venue:In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP’07