Atsushi Igarashi, Hideshi Nagira
Union Types for Object-Oriented Programming
SAC, 2007.
@article{SAC-OOPS-J-2006-IgarashiN07, author = "Atsushi Igarashi and Hideshi Nagira", doi = "10.5381/jot.2007.6.2.a3", journal = "{Journal of Object Technology}", number = 2, pages = "47--68", title = "{Union Types for Object-Oriented Programming}", volume = 6, year = 2007, }