Overloading, subtyping and late binding - functional foundation of object-oriented programming

Giuseppe Castagna. Overloading, subtyping and late binding - functional foundation of object-oriented programming. PhD thesis, LIENS Paris, 1994.

Abstract

Abstract is missing.