Union types for object-oriented programming

Atsushi Igarashi, Hideshi Nagira. Union types for object-oriented programming. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1435-1441, ACM, 2006. [doi]

Abstract

Abstract is missing.