Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types

@inproceedings{Rmy1994ProgrammingOW,
  title={Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types},
  author={Didier R{\'e}my},
  booktitle={TACS},
  year={1994}
}
Class-based objects can be programmed directly and ee-ciently in a simple extension to ML. The representation of objects, based on abstract and record types, allows all usual operations such as multiple inheritance, object returning capability, and message transmission to themselves as well as to their super classes. There is, however, no implicit coercion from objects to corresponding ones of super-classes. A simpler representation of objects without recursion on values is also described. The… CONTINUE READING
Highly Cited
This paper has 86 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

86 Citations

05'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 34 references

Isomorphisms of Types Tesi di dottorato, Dipartimento di Informatica

  • Dc93 ] Roberto Di, Cosmo
  • Isomorphisms of Types Tesi di dottorato…
  • 1993

Mutable objects. Unpublished note

  • Benjamin C Pie, Pierce
  • Mutable objects. Unpublished note
  • 1993

Polymorphism for imperative languages without imperative types

  • Andrew K Wri, Wright
  • Polymorphism for imperative languages without…
  • 1993

Similar Papers

Loading similar papers…