Objective ML: An effective object-oriented extension to ML

Didier R�my, J�r�me Vouillon
1998 Theory and Practice of Object Systems  
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-oriented languages including multiple inheritance, methods returning self and binary methods as well as parametric classes. This demonstrates that objects can be added to strongly typed languages based on
more » ... ML polymorphism. c 1997 John Wiley & Sons class point x0 = struct field x = ref x0
doi:10.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co;2-4 fatcat:dzll5rxidzhptdub4z3ko6wi5u