Search

The Essence of Lightweight Family Polymorphism

By: Chieri Saito, Atsushi Igarashi

Abstract

Lightweight family polymorphism is a programming style that supports inheritance of mutually recursive classes. The paper gives a translation from .FJ (the core calculus for lightweight family polymorphism) into an extension of Featherweight GJ (the core calculus of generic types) with \emph{self type variables}. This translation demonstrates the self-type variables are the essence of lightweight family polymorphism.

Cite as:

Chieri Saito, Atsushi Igarashi, “The Essence of Lightweight Family Polymorphism”, Journal of Object Technology, Volume 7, no. 5 (June 2008), pp. 67-99, doi:10.5381/jot.2008.7.5.a3.

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