An extension of standard ML modules with subtyping and inheritance

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An extension of standard ML modules with subtyping and inheritance

Full text

Pdf (1.10 MB)

Source

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

Orlando, Florida, United States

Pages: 270 - 278

Year of Publication: 1991

ISBN:0-89791-419-8

Authors

John Mitchell	Dept. of Computer Science, Stanford University, Stanford, CA
Sigurd Meldal	Dept. of Informatics, University of Bergen, Bergen, Norway
Neel Madhav	Dept. of Computer Science, Stanford University, Stanford, CA

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/99583.99620 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.

	BHEL86	Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, Conference proceedings on Object-oriented programming systems, languages and applications, p.78-86, September 29-October 02, 1986, Portland, Oregon, United States
	BL90	Frank C. Belz , David C. Luckham, A new approach to prototyping Ada-based hardware/software systems, Proceedings of the conference on TRI-ADA '90, p.141-155, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255520]
	C+86	R. L. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki , S. F. Smith, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	Car89	L. Cardelli. Typefui programming. Technical Report 45, DEC Systems IKesearch Center, 1989. presented at IFIP Advanced Semina.r on Formal Descriptions of Programming Concepts.
	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]
	CM89	Luca Cardelli , John C. Mitchell, Operations on records, Proceedings of the fifth international conference on Mathematical foundations of programming semantics, p.22-52, July 1990, New Orleans, Louisiana, United States
	Coo89	W.R. Cook. A proposal for making Eiffel type-safe. In European Conf. on Object- Oriented Programming, pages 57-72, 1989.
	CW85	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	Dij72	E.W. Dijkstra. Notes on structured programruing. In O.J. DaM, E.W. Dijkstra, and C.A.R. Hoare, editors, Structured Programming. Academic Press, 1972.
	GR83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	HMM86	R. Harper, D.B. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS- 86-2, Lab. for Foundations of Computer Science, University of Edinburgh, March 1986.
	HMM90	Robert Harper , John C. Mitchell , Eugenio Moggi, Higher-order modules and the phase distinction, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.341-354, December 1989, San Francisco, California, United States [doi>10.1145/96709.96744]
	JM88	Lalita Jategaonkar , John Mitchell, ML with extended pattern matching and subtypes, Proceedings of the 1988 ACM conference on LISP and functional programming, p.198-211, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62702]
	LHM+86	David C. Luckham , D. P. Helmbold , S. Meldal , D. L. Bryan , M. A. Haberler, Task sequencing language for specifying distributed Ada systems, Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada, p.249-305, January 1987, Capri, Italy
	LvHKBO87	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	Mac85	David MacQueen, Modules for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.198-207, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802036]
	Mac86	David B. MacQueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.277-286, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512670]
	Mar84	P. Martin-LSf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.
	MH88	J. C. Mitchell , R. Harper, The essence of ML, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.28-46, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73563]
	Mit84	John C. Mitchell, Coercion and type inference, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.175-185, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800529]
	Mit90a	John C. Mitchell, Toward a typed foundation for method specialization and inheritance, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-124, December 1989, San Francisco, California, United States [doi>10.1145/96709.96719]
	Mit90b	John C. Mitchell, Type systems for programming languages, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	MP88	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential type, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.470-502, July 1988 [doi>10.1145/44501.45065]
	MTH90	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	Par72	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	Rém89	D. Rémy, Type checking records and variants in a natural extension of ML, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.77-88, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75284]
	Set89	Ravi Sethi, Programming languages: concepts and constructs, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	Sny86	Alan Snyder, Encapsulation and inheritance in object-oriented programming languages, Conference proceedings on Object-oriented programming systems, languages and applications, p.38-45, September 29-October 02, 1986, Portland, Oregon, United States
	ST89	D. Sanella and A. Tarlecki. Towards formal development of ML programs: foundations and methodology. Technical Report ECS- LFCS-89-71, Laboratory for Foundations of Computer Science, February 1989.
	Str86	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	US 80	US Dept. of Defense. R4erence Manual for the Ada Programming Language. GPO 008- 000-00354-8, 1980.
	Wan87	M. Wand. Complete type inference for simple objects. In Proc. 2-nd IEEE Symp. on Logic in Computer Science, pages 37-44, 1987. Corrigendum in Proc. 3-rd IEEE Syrup_ on Logic in Computer Science, page 132, 1988.

CITED BY 12

	Robert Harper , Mark Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.123-137, January 16-19, 1994, Portland, Oregon, United States
	Konstantin Läfer , Martin Odersky, Polymorphic type inference and abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1411-1430, Sept. 1994
	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
	Dominic Duggan , Constantinos Sourelis, Mixin modules, ACM SIGPLAN Notices, v.31 n.6, p.262-273, June 15, 1996
	Frank C. Belz , David C. Luckham, A new approach to prototyping Ada-based hardware/software systems, Proceedings of the conference on TRI-ADA '90, p.141-155, December 03-06, 1990, Baltimore, Maryland, United States
	Mark P. Jones, Using parameterized signatures to express modular structure, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.68-78, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Derek Dreyer , Karl Crary , Robert Harper, A type system for higher-order modules, ACM SIGPLAN Notices, v.38 n.1, p.236-249, January 2003
	David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995
	Claudio V. Russo, First-class structures for standard ML, Nordic Journal of Computing, v.7 n.4, p.348-374, Winter 2000
	Dinesh Katiyar , David Luckham , John Mitchell, Polymorphism and subtyping in interface, ACM SIGPLAN Notices, v.29 n.8, p.22-34, Aug. 1994
	Jun Shen , Gordon V. Cormack, On generic formal package parameters in Ada 9X, ACM SIGAda Ada Letters, v.XII n.3, p.110-116, May/June 1992
	Benjamin C. Pierce, Intersection types and bounded polymorphism, Mathematical Structures in Computer Science, v.7 n.2, p.129-193, April 1997