Inference of User-Defined Type Qualifiers and Qualifier Rules (2006)

by Brian Chin, Shane Markstrum, Todd Millstein, Jens Palsberg
Venue:ESOP 2006: Programming Languages and Systems - Proceedings of the 15th European Symposium on Programming