Static Typing for Object-Oriented Programming

Jens Palsberg, Michael I. Schwartzbach. Static Typing for Object-Oriented Programming. Science of Computer Programming, 23(1):19-53, 1994.

Abstract

Abstract is missing.