Skip to main content

A Theory of Primitive Objects - Second-Order Systems

By Martin Abadi and Luca Cardelli

Discussion led by Andrew K. Hirsch on October 15, 2014

Abstract:

We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.

PDF