A Unifying Type-Theoretic Framework for Objects

A Unifying Type-Theoretic Framework for Objects (1993)

by Martin Hofmann , Benjamin Pierce

Citations:

37 - 9 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Unifying Type-Theoretic Framework for Objects	user correction - Legacy Corrections
AUTHOR NAME	Martin Hofmann	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science,; University of Edinburgh,	SVM HeaderParse 0.2
AUTHOR NAME	Benjamin Pierce	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science,; University of Edinburgh,	SVM HeaderParse 0.2
ABSTRACT	We give a direct type-theoretic characterization of the basic mechanisms of object-oriented programming, including objects, methods, message passing, and subtyping, by introducing an explicit constructor for object types and suitable introduction, elimination, and equality rules. The resulting abstract framework provides a basis for justifying and comparing previous encodings of objects based on recursive record types (Cardelli, 1984; Cardelli, 1992; Bruce, 1994; Cook et al., 1990; Mitchell, 1990a) and encodings based on existential types (Pierce & Turner, 1994).	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	21 found	ParsCit 1.0