Static typing for dynamic messages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Static typing for dynamic messages

Full text

Pdf (1.88 MB)

Source

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

San Diego, California, United States

Pages: 266 - 278

Year of Publication: 1998

ISBN:0-89791-979-3

Author

Susumu Nishimura

RIMS, Kyoto Uhiversity, Sakyo-kn, Kyoto 606-01, Japan

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 16, Citation Count: 2

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

	AC96	Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	AWL94	Alexander Aiken , Edward L. Wimmers , T. K. Lakshman, Soft typing with conditional types, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177847]
	BB96	Franco Barbanera , Stefano Berardi, A symmetric lambda calculus for classical program extraction, Information and Computation, v.125 n.2, p.103-117, March 15, 1996 [doi>10.1006/inco.1996.0025]
	BNOW93	Andrew Birrell , Greg Nelson , Susan Owicki , Edward Wobber, Network objects, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.217-230, December 05-08, 1993, Asheville, North Carolina, United States
	BPF97	K.B. Bruce, L. Petersen, and A. Fiech. Subtyping is not a good "'match" for object-oriented languages. In ECOOP '97 Proceedings, voIume 1242 of LNCS, pages 104-127, 1997.
	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
	Car88	Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
	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]
	CHC90	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
	DM82	Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
	GM94	Carl A. Gunter , John C. Mitchell, Theoretical aspects of object-oriented programming: types, semantics, and language design, MIT Press, Cambridge, MA, 1994
	GR89	Adele Goldberg , David Robson, Smalltalk-80: The Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	GS89	J. H. Gallier , W. Snyder, Complete sets of transformations for general E-unification, Theoretical Computer Science, v.67 n.2-3, p.203-260, Oct. 1989 [doi>10.1016/0304-3975(89)90004-2]
	Gun92	Carl A. Gunter, Semantics of programming languages: structures and techniques, MIT Press, Cambridge, MA, 1992
	HP95	M. Hofmann and B. C. Pierce. A unifying typetheoretic framework for objects. Journal of Functional Programming, 5(4):593--635, 1995.
	Ler92	Xav/er Leroy. Polymorphic typing of an algorithmic language. Ph.D. thesis RR-1778, INRIA, I992.
	Mit90	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]
	OB89	A. Ohori , P. Buneman, Static type inference for parametric classes, Conference proceedings on Object-oriented programming systems, languages and applications, p.445-450, October 02-06, 1989, New Orleans, Louisiana, United States
	Oho95	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]
	PT94	B.C. Pierce and D. N. Turner. Simple type theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):2ff'/-247, I994.
	PW91	Lewis J. Pinson , Richard S. Wiener, Applications of object-oriented programming, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1990
	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]
	Rém94	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
	Wan87	M. Wand. Complete type inference for simple objects. In Proceedz'ngs of Second Symposium on Logic in Computer Science, pages 37-44, 1987.

CITED BY 2

	François Pottier, A versatile constraint-based type inference system, Nordic Journal of Computing, v.7 n.4, p.312-347, Winter 2000
	Michael Furr , Jeffrey S. Foster, Checking type safety of foreign function calls, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-63, July 2008