A generic usage analysis with subeffect qualifiers

Hage, Jurriaan, Holdermans, Stefan, Middelkoop, and Arie
2007

In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1–3, 2007

Publisher ACM Press