A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 16-30
https://doi.org/10.1007/bfb0022244

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
Published by Springer Nature ,1995
Notes on typed object-oriented programming
Published by Springer Nature ,1994
A theory of primitive objects
Published by Springer Nature ,1994
A type declaration and inference system for smalltalk
Published by Association for Computing Machinery (ACM) ,1982