Chieri Saito Atsushi Igarashi Matching <i>ThisType</i> to subtyping. 1851-1858 2009 SAC http://doi.acm.org/10.1145/1529282.1529699 conf/sac/2009 db/conf/sac/sac2009.html#SaitoI09