Brian Chin Shane Markstrum Todd D. Millstein Jens Palsberg Inference of User-Defined Type Qualifiers and Qualifier Rules. 264-278 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_18 db/conf/esop/esop2006.html#ChinMMP06