A Lambda Calculus of incomplete objects

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 218-229
https://doi.org/10.1007/3-540-61550-4_150

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A delegation-based object calculus with subtyping
Published by Springer Nature ,1995
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
Published by Springer Nature ,1995
A theory of primitive objects
Published by Springer Nature ,1994
Toward a typed foundation for method specialization and inheritance
Published by Association for Computing Machinery (ACM) ,1990