DMCA
Objective ML: A simple object-oriented extension of ML (1997)
by
Didier Rémy
,
Jérôme Vouillon
| Citations: | 55 - 2 self |
BibTeX
@MISC{Rémy97objectiveml:,
author = {Didier Rémy and Jérôme Vouillon},
title = {Objective ML: A simple object-oriented extension of ML},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Objective ML is a small practical extension of ML with objects and toplevel 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 demon-strates that objects can be added to strongly typed lan-guages based on ML polymorphism.
