Objective ML: An effective object-oriented extension to ML

Autor:	Jérôme Vouillon, Didier Rémy
Rok vydání:	1998
Předmět:	Discrete mathematics Object-oriented programming Computer science General Engineering Extension (predicate logic) Strong and weak typing Binary methods Algorithm
Zdroj:	Theory and Practice of Object Systems. 4:27-50
ISSN:	1096-9942 1074-3227
DOI:	10.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co;2-4
Popis:	Objective ML is a small practical extension to ML with ob- jects 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 fea- tures of object-oriented languages including multiple in- heritance, methods returning self and binary methods as well as parametric classes. This demonstrates that ob- jects can be added to strongly typed languages based on ML polymorphism. c ∞ 1997 John Wiley & Sons
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::098143aec0616f84a00a84612dc01492 https://doi.org/10.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co Zobrazit plný text záznamu Plný text