Objective ML: An effective object-oriented extension to ML Export

@article{citeulike:1628532, abstract = {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. {\copyright} 1998 John Wiley \& Sons, Inc.}, address = {INRIA-Rocquencourt, B.P. 105, F-78153 Le Chesnay Cedex, France}, author = {R\'{e}my, Didier and Vouillon, J\'{e}r\^{o}me}, citeulike-article-id = {1628532}, citeulike-linkout-0 = {http://dx.doi.org/10.1002/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4}, citeulike-linkout-1 = {http://www3.interscience.wiley.com/cgi-bin/abstract/38772/ABSTRACT}, doi = {10.1002/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4}, journal = {Theory and Practice of Object Systems}, keywords = {pl, records, types}, number = {1}, pages = {27--50}, posted-at = {2007-09-06 23:18:26}, priority = {0}, title = {Objective ML: An effective object-oriented extension to ML}, url = {http://dx.doi.org/10.1002/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4}, volume = {4}, year = {1998} }

TY - JOUR ID - citeulike:1628532 L3 - citeulike-article-id:1628532 N2 - 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. © 1998 John Wiley & Sons, Inc. IS - 1 JF - Theory and Practice of Object Systems AD - INRIA-Rocquencourt, B.P. 105, F-78153 Le Chesnay Cedex, France EP - 50 TI - Objective ML: An effective object-oriented extension to ML VL - 4 SP - 27 KW - pl KW - records KW - types AU - Rémy, Didier AU - Vouillon, Jérôme PY - 1998/// UR - http://dx.doi.org/10.1002/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4 ER -