Chieri Saito, Atsushi Igarashi. Matching MyType to subtyping. Science of Computer Programming, 78(7):933-952, 2013. [doi]
@article{SaitoI13, title = {Matching MyType to subtyping}, author = {Chieri Saito and Atsushi Igarashi}, year = {2013}, doi = {10.1016/j.scico.2012.12.010}, url = {http://dx.doi.org/10.1016/j.scico.2012.12.010}, researchr = {https://researchr.org/publication/SaitoI13}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {78}, number = {7}, pages = {933-952}, }