Search

Union Types for Object-Oriented Programming

By: Atsushi Igarashi, Hideshi Nagira

Abstract

The authors propose union types for statically typed class-based object-oriented languages as a means to enhance the flexibility of subtyping, allowing the programmer to implement heterogeneous collections and to group independently developed classes with similar interfaces. The notion is formalized on top of Featherweight and a proof of soundness is provided.

Cite as:

Atsushi Igarashi, Hideshi Nagira, “Union Types for Object-Oriented Programming”, Journal of Object Technology, Volume 6, no. 2 (February 2007), pp. 47-68, doi:10.5381/jot.2007.6.2.a3.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn