article · 2007

The Essence of Lightweight Family Polymorphism

Chieri Saito, et al.

Cited by 0Abstract and details only

Abstract

We have proposed lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes, and introduced its formal core calculus.FJ. In this paper, we give a formal translation, which changes only type declarations, from.FJ into FGJself, an extension of Featherweight GJ with self type variables. They improve self typing and are required for the translation to preserve typing. Therefore we claim that self type variables represent the essential difference between.FJ and Featherweight GJ, namely, lightweight family polymorphism provides better self typing for mutually recursive classes than Java generics. To support this claim rigorously, we show that FGJself enjoys type soundness and the formal translation preserves typing and reduction.

Cite this paper

APA 7

Chieri Saito, E. A. (2007). The Essence of Lightweight Family Polymorphism.

MLA 9

Chieri Saito, et al. “The Essence of Lightweight Family Polymorphism.” 2007.

Chicago

Chieri Saito, et al. 2007. “The Essence of Lightweight Family Polymorphism.”

Harvard

Chieri Saito, E.A. (2007) ‘The Essence of Lightweight Family Polymorphism’.

BibTeX

@article{chierisaito2007essence,
  title = {{The Essence of Lightweight Family Polymorphism}},
  author = {Chieri Saito, et al.},
  year = {2007}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.