Brian Chin Shane Markstrum Todd D. Millstein Semantic type qualifiers. 85-95 2005 conf/pldi/2005 PLDI http://doi.acm.org/10.1145/1065010.1065022 db/conf/pldi/pldi2005.html#ChinMM05