@inproceedings{301665,
 author = {Jeffrey S. Foster and Manuel Fähndrich and Alexander Aiken},
 title = {A theory of type qualifiers},
 booktitle = {Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation},
 year = {1999},
 isbn = {1-58113-094-5},
 pages = {192--203},
 location = {Atlanta, Georgia, United States},
 doi = {http://doi.acm.org/10.1145/301618.301665},
 publisher = {ACM Press},
 }