Objective ML

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Objective ML: a simple object-oriented extension of ML

Full text

Pdf (996 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Paris, France

Pages: 40 - 53

Year of Publication: 1997

ISBN:0-89791-853-3

Authors

Didier Rémy	INRIA-Rocquencourt, B.P. 105, F-78153, Le Chesnay Cedex, France
Jérôme Vouillon	INRIA-Rocquencourt, B.P. 105, F-78153, Le Chesnay Cedex, France

Sponsors

L'Ecole des Mines de Paris : L'Ecole des Mines de Paris
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Ctr Natl de la Recherche Sci :
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 19, Citation Count: 19

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263699.263707 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AC93	Roberto M. Amadio , Luca Cardelli, Subtyping recursive types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.4, p.575-631, Sept. 1993 [doi>10.1145/155183.155231]
	AC94	Martín Abadi , Luca Cardelli, A Theory of Primitive Objects - Untyped and First-Order Systems, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.296-320, April 19-22, 1994
	AC95	Martín Abadi , Luca Cardelli, A theory of primitive objects: second-order systems, Science of Computer Programming, v.25 n.2-3, p.81-116, Dec. 1995
	Ber93	Bernard Berthomieu. Programming with behaviors in an ML framework, the syntax and semantics of LCS. Research Report 93-133, LAAS-CNRS, 7, Avenue du Colonnel Roche, 31077 Toulouse, France, March 1993.
	BM96	Francois Bourdoncle and Stephan Merz. Primitive subtyping ^ implicit polymorphism # object-orientation. Presented at the FOOL'3 workshop, July 1996.
	Bru95	Kim B. Bruce. Typing in object-oriented languages: Achieving expressibility and safety. Revised version to appear in Computing Surveys, November 1995.
	BSvG95	Kim B. Bruce , Angela Schuett , Robert van Gent, PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language, Proceedings of the 9th European Conference on Object-Oriented Programming, p.27-51, August 07-11, 1995
	CCH+89	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99392]
	Dug95	Dominic Duggan. Polymorphic methods with self types for ML-like languages. Technical report CS-95-03,, University of Waterloo, 1995.
	EST95a	Jonathan Eifrig , Scott Smith , Valery Trifonov, Sound polymorphic type inference for objects, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.169-184, October 15-19, 1995, Austin, Texas, United States
	EST95b	J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, 1995.
	KPS93	Dexter Kozen , Jens Palsberg , Michael I. Schwartzbach, Efficient recursive subtyping, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.419-428, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158700]
	Läu96	Martin Odersky , Konstantin Läufer, Putting type annotations to work, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.54-67, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237729]
	Ler96	Xavier Leroy. The Objective Carol system. Software and documentation available on the Web, http ://pauillac. inria, fr/ocaml/, 1996.
	LO92	Konstantin L#ufer and Martin Odersky. An extension of ML with first-class abstract types. In Proceedings of the A CM SIGPLAN Workshop on ML and its Applications, 1992.
	MHF93	John C. Mitchell, Furio Honsell, and Kathleen Fisher. A lambda calculus of objects and method specialization. In 1993 IEEE Symposium on Logic in Computer Science, June 1993.
	Oho90	Atsushi Ohori. Extending ML polymorphism to record structure. Technical Report CSC 90/R24, University of Glasgow, Department of Computer Science, September 1990.
	Oho96	Atsushi Ohori, A polymorphic record calculus and its compilation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.6, p.844-895, Nov. 1995 [doi>10.1145/218570.218572]
	Pal94	Jens Palsberg. Efficient type inference of object types. In Ninth Annual IEEE Symposium on Logic in Computer Science, pages 186--195, Paris, France, July 1994. IEEE Computer Society Press. To appear in Information and Computation.
	PT94	Benjamin C. Pierce , David N. Turner, Object-oriented programming without recursive types, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.299-312, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158653]
	Rém92	Didier l#my. Extending ML type system with a sorted equational theory. Technical Report 1766, INRIA-Rocquencourt, BP 105, F-78 153 Le Chesnay Cedex, 1992.
	Rém93	Didier lt#my. Syntactic theories and the algebra of record terms. Research Report 1869, Institut National de Recherche en informatique et Automatisme, BP 105, F-78 153 Le Chesnay Cedex, 1993.
	Rém94a	Didier Rémy, Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.321-346, April 19-22, 1994
	Rém94b	Didier Rémy, Type inference for records in natural extension of ML, Theoretical aspects of object-oriented programming: types, semantics, and language design, MIT Press, Cambridge, MA, 1994
	RR96a	John H. Reppy and Jon G. Riecke. Classes in Object ML. Presented at the FOOL'3 workshop, July 1996.
	RR96b	John Reppy , Jon Riecke, Simple objects for Standard ML, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.171-180, May 21-24, 1996, Philadelphia, Pennsylvania, United States

CITED BY 19

	Jérôme Vouillon, Combining subsumption and binary methods: an object calculus with views, ACM SIGPLAN Notices, v.36 n.3, p.290-303, March 2001
	Robert Bruce Findler , Matthew Flatt, Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, v.34 n.1, p.94-104, Jan. 1999
	Johan Nordlander, Pragmatic subtyping in polymorphic languages, ACM SIGPLAN Notices, v.34 n.1, p.216-227, Jan. 1999
	Christopher League , Zhong Shao , Valery Trifonov, Representing Java classes in a typed intermediate language, ACM SIGPLAN Notices, v.34 n.9, p.183-196, Sept. 1999
	Neal Glew, An efficient class and object encoding, ACM SIGPLAN Notices, v.35 n.10, p.311-324, Oct. 2000
	François Pottier , Sylvain Conchon, Information flow inference for free, ACM SIGPLAN Notices, v.35 n.9, p.46-57, Sept. 2000
	George C. Necula , Scott McPeak , Westley Weimer, CCured: type-safe retrofitting of legacy code, ACM SIGPLAN Notices, v.37 n.1, p.128-139, Jan. 2002
	François Pessaux , Xavier Leroy, Type-based analysis of uncaught exceptions, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.276-290, January 20-22, 1999, San Antonio, Texas, United States
	Privacy via subsumption, Information and Computation, v.172 n.1, p.2-28, January 10, 2002
	Benjamin C. Pierce , David N. Turner, Local type inference, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.252-265, January 19-21, 1998, San Diego, California, United States
	Benjamin C. Pierce , David N. Turner, Local type inference, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.1-44, Jan. 2000
	Dominic Duggan, Type-Safe linking with recursive DLLs and shared libraries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.711-804, November 2002
	Robert Bruce Findler , Matthias Felleisen, Contracts for higher-order functions, ACM SIGPLAN Notices, v.37 n.9, p.48-59, September 2002
	Christopher League , Zhong Shao , Valery Trifonov, Type-preserving compilation of Featherweight Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.2, p.112-152, March 2002
	George C. Necula , Jeremy Condit , Matthew Harren , Scott McPeak , Westley Weimer, CCured: type-safe retrofitting of legacy software, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.3, p.477-526, May 2005
	Anil Madhavapeddy , Alex Ho , Tim Deegan , David Scott , Ripduman Sohan, Melange: creating a "functional" internet, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
	Erick Gallesio , Manuel Serrano, Biglook: A Widget Library for the Scheme Programming Language, Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, p.85-97, June 10-15, 2002
	Ronald Garcia , Jaakko Jarvi , Andrew Lumsdaine , Jeremy Siek , Jeremiah Willcock, An extended comparative study of language support for generic programming, Journal of Functional Programming, v.17 n.2, p.145-205, March 2007
	Erick Gallesio , Manuel Serrano, Programming graphical user interfaces with Scheme, Journal of Functional Programming, v.13 n.5, p.839-866, September 2003