@article{SAC-OOPS-J-2009-SaitoI13,
	author        = "Chieri Saito and Atsushi Igarashi",
	doi           = "10.1016/j.scico.2012.12.010",
	journal       = "{Science of Computer Programming}",
	number        = 7,
	pages         = "933--952",
	title         = "{Matching MyType to subtyping}",
	volume        = 78,
	year          = 2013,
}