A generic usage analysis with subeffect qualifiers

Jurriaan Hage, Stefan Holdermans, and Arie Middelkoop

Details

Publication typeInproceedings
Published inProceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1–3, 2007
Pages235–246
PublisherACM Press
> Publications > A generic usage analysis with subeffect qualifiers