A generic usage analysis with subeffect qualifiers

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

Publisher  ACM Press

Details

TypeInproceedings
Pages235–246
> Publications > A generic usage analysis with subeffect qualifiers