Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein. A framework for implementing pluggable type systems. In Peri L. Tarr, William R. Cook, editors, Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. pages 57-74, ACM, 2006. [doi]
@inproceedings{AndreaeNMM06,
title = {A framework for implementing pluggable type systems},
author = {Chris Andreae and James Noble and Shane Markstrum and Todd D. Millstein},
year = {2006},
doi = {10.1145/1167473.1167479},
url = {http://doi.acm.org/10.1145/1167473.1167479},
tags = {type system},
researchr = {https://researchr.org/publication/AndreaeNMM06},
cites = {0},
citedby = {0},
pages = {57-74},
booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
editor = {Peri L. Tarr and William R. Cook},
publisher = {ACM},
isbn = {1-59593-348-4},
}