Work

Object-oriented programming without recursive types

Year: 1993

Type: conference-paper

Abstract: It is widely agreed that recursive types are inherent in the static typing of the essential mechanisms of object-oriented programming: encapsulation, message passing, subtyping, and inheritance. We demonstrate here that modeling object encapsulation in terms of existential types yields a substantially more straightforward explanation of these features in a simpler calculus without recursive types.

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/158511.158653

Authors: Benjamin C. Pierce, David N. Turner

Institution: University of Edinburgh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2090959968

FWCI: 9.526

Cites: 37

Cited by: 57

Related to: 10