𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Objective ML: An effective object-oriented extension to ML

✍ Scribed by R�my, Didier; Vouillon, J�r�me


Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
226 KB
Volume
4
Category
Article
ISSN
1074-3227

No coin nor oath required. For personal study only.

✦ Synopsis


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 ML polymorphism.


📜 SIMILAR VOLUMES


EXACT: an extensible approach to active
✍ Oscar Díaz; Arturo Jaime 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 146 KB

Active database management systems (DBMSs) are a fast-growing area of research, mainly due to the large number of applications which can benefit from this active dimension. These applications are far from being homogeneous, requiring different kinds of functionalities. However, most of the active DB

Design with objects: an approach to obje
✍ Wen-Yau Liang; Peter O'Grady 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 952 KB

This paper is concerned with object-oriented design and aims to describe an object-oriented approach [called design-with-objects (DwO)] that encompasses both the fundamentals of object-oriented design and the use of object-oriented design in the development of design process models. The major design