Brian Chin, Shane Markstrum, Todd D. Millstein: Semantic type qualifiers. PLDI 2005: 85-95