Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
A generic usage analysis with subeffect qualifiers
ICFP, 2007.
@inproceedings{ICFP-2007-HageHM, author = "Jurriaan Hage and Stefan Holdermans and Arie Middelkoop", booktitle = "{Proceedings of the 12th International Conference on Functional Programming}", doi = "10.1145/1291151.1291189", editor = "Ralf Hinze and Norman Ramsey", isbn = "978-1-59593-815-2", pages = "235--246", publisher = "{ACM}", title = "{A generic usage analysis with subeffect qualifiers}", year = 2007, }