Objective ML: An effective object-orient
β
RοΏ½my, Didier; Vouillon, JοΏ½rοΏ½me
π
Article
π
1998
π
John Wiley and Sons
π
English
β 226 KB
Objective ML is a small practical extension to ML with objects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most features of object-orien