First class functions and dynamic binding of methods to classes

The implementation of the object-oriented paradigm adopted by Oberon, Oberon-2 and Modula-3 is analyzed and compared with a new technique proposed. The design principles adopted in the method are orthogonality with respect to the role of first-class procedures, minimality of extension, and generality of application. The constructs used are record type extensions and first-class procedures. The new concepts introduced are the shared virtual part of a record type also called a virtual data table, and self-bound record fields.<
>