Didier Remy, Jerome Vouillon  Home/Search
Context Related
| pps.jussieu.fr/~vouillon...popl97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pps.jussieu.fr/~vouillon/publi... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 demonstrates that objects can be added to strongly typed languages based on... (Update)
Similar documents based on text: More All
0.8: Objective ML: An effective object-oriented extension to ML - Remy, Vouillon (1998) (Correct)
0.3: Using Modules as Classes - Vouillon (1997) (Correct)
0.2: Efficient Representation of Extensible Records - Rémy (2001) (Correct)
BibTeX entry: (Update)
D. Remy and J. Vouillon. Objective ML: A simple object-oriented extension of ML. In Proc. 24th ACM Symp. on Principles of Programming Languages, pages 40--53. ACM Press, 1997. http://citeseer.ist.psu.edu/remy97objective.html More
@inproceedings{ remy97objective,
author = "Didier Remy and Jerome Vouillon",
title = "Objective {ML}: A Simple Object-Oriented Extension of {ML}",
booktitle = "Symposium on Principles of Programming Languages",
pages = "40-53",
year = "1997",
url = "citeseer.ist.psu.edu/remy97objective.html" }
Citations (may not include all citations):106 Polytoil: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
72 A theory of primitive objects: Untyped and first-order syste.. - Abadi, Cardelli - 1994
41 A theory of primitive objects: Second-order systems - Abadi, Cardelli - 1994
26 Typing in object-oriented languages: Achieving expressibilit.. - Bruce - 1995
6 Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
6 Programming with behaviors in an ML framework (context) - Berthomieu - 1993
1 Primitive subtyping implicit polymorphism j= object-orientat.. (context) - Bourdoncle, Merz - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.pps.jussieu.fr/~vouillon/publi/): More
Regular Expression Types for XML - Hosoya, Vouillon, Pierce (2000) (Correct)
What's in Unison? A Formal Specification and Reference.. - Pierce, Vouillon (2004) (Correct)
Using Modules as Classes - Erome Vouillon November (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC