Chieri Saito Atsushi Igarashi Self type constructors. 263-282 2009 OOPSLA http://doi.acm.org/10.1145/1640089.1640109 conf/oopsla/2009 db/conf/oopsla/oopsla2009.html#SaitoI09