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
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > A generic usage analysis with subeffect qualifiers