An ad hoc approach to the implementation of polymorphism

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An ad hoc approach to the implementation of polymorphism

Full text

Pdf (1.95 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 13 , Issue 3 (July 1991) table of contents

Pages: 342 - 371

Year of Publication: 1991

ISSN:0164-0925

Authors

R. Morrison	Univ. of St. Andrews, Fife, Scotland, UK
A. Dearle	Univ. of St. Andrews, Fife, Scotland, UK
R. C. H. Connor	Univ. of St. Andrews, Fife, Scotland, UK
A. L. Brown	Univ. of St. Andrews, Fife, Scotland, UK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 48, Citation Count: 13

Additional Information:

references cited by index terms review 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/117009.117017 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.

	1	Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
	2	Malcolm P. Atkinson , Ronald Morrison, Procedures as persistent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.539-559, Oct. 1985 [doi>10.1145/4472.4477]
	3	ATKINSON, M. P., BAILEY, P. J., CHISItOLM, K. J., COCKSHOTT, W. P., AND MORRISON, R. An approach to persistent programming. Comput. J. 26, 4 (Nov. 1983), 360-365.
	4	BmTWlSTLE, G. M., DAHL, O. J., MYRHAUG, B., AND NYGAARD, K. SIMULA BEGIN. Auerbach, Pennsauken, N.J., 1973.
	5	BOEHM, B.W. Understanding and controlling software costs. In Tenth IFIP World Congress (Dublin, Ireland, Sept. 1-5, 1986). North-Holland, Amsterdam, 1986, pp. 703-714.
	6	BROWN, A. L., CARRICK, R., CONNOR, R. C. H., DEARLE, A., AND MORRISON, R. The persistent abstraet machine. Res. Rep. PPRR-59-88, Dept. of Computational Science, Unir. of St. Andrews, Scotland, 1988. (Also published by the Unir. of Glasgow, Scotland.)
	7	R. Burstall , B. Lampson, A kernel language for abstract data types and modules., Proc. of the international symposium on Semantics of data types, p.1-50, July 1984, Sophia-Antipolis, France
	8	R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802799]
	9	CARD~LLI, L. The functional ab~tract machine. Polymorph~m 'Eew~l. 1, 1 (Jan. 1983).
	10	CARDELLI, L. Basic polymorphic type checking. Polymorphism Newsl. 2, I (Jan. 1984). (Also Tech. Rep. 119, AT&T Bell Labs.)
	11	Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
	12	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]
	13	CONNO~, R. C. H. The Napier type checking module. Res. Rep. PPRR-58-88, Dept. of Computational Science, Univ. of St. Andrews, Scotland, 1988. (Also published by Univ. of Glasgow, Scotland.)
	14	R. C. H. Conner , A. Dearle , R. Morrison , A. L. Brown, An object addressing mechanism for statically typed languages with multiple inheritance, ACM SIGPLAN Notices, v.24 n.10, p.279-285, Oct. 1989
	15	Richard Connor , Alan Dearle , Ronald Morrison , Fred Brown, Existentially quantified types as a database viewing mechanism, Proceedings of the international conference on extending database technology on Advances in database technology, p.301-315, March 1990, Venice, Italy
	16	Richard C. H. Connor , Alfred L. Brown , Raymund Carrick , Alan Dearle , Ronald Morrison, The Persistent Abstract Machine, Proceedings of the Third International Workshop on Persistent Object Systems, p.353-366, January 10-13, 1989
	17	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]
	18	A. Dearle , A. L. Brown, Safe browsing in a strongly typed persistent environment, The Computer Journal, v.31 n.6, p.540-544, December 1988 [doi>10.1093/comjnl/31.6.540]
	19	EMERS, A., AND DONAH~E, J. Revised report on Russell. Tech. Rep. TR79-389, Dept. of Computer Science, Cornell Univ., Ithaca, N Y , 1979.
	20	FAmBAmN, J. Ponder and its type system Tech. Rep. 31, Dept. of Computer Science, Univ. of Cambridge, U.K., Nov. 1982.
	21	J. Fairbairn, A new type-checker for a functional language, Data types and persistence, Springer-Verlag, London, 1988
	22	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	23	Michael Hammer , Dennis Mc Leod, Database description with SDM: a semantic database model, ACM Transactions on Database Systems (TODS), v.6 n.3, p.351-386, Sept. 1981 [doi>10.1145/319587.319588]
	24	HAUCK, E. A., AND DENT, B.A. Burroughs B6500/6700 stack mechanism. AFIPS SJCC 32 (Atlantic City, N.J., Apr. 30-May 2, 1968), pp. 245-252.
	25	HUDAK, P., WADLER, P., ARVIND, BOUTEL, B., FAIRBAIN, J., FASEL, J., HAMMOND, K., HUGHES, J., JOHNSON, T., KIEBURTZ, D., NIKHIL, R., PEYTON JONES, S., REEVES, M, WISE, D., AND YOUNG, J. Report on the functional programming language Haskell. Dept. of Computer Science, Glasgow Univ., Scotland, Apr. 1990. (Also published by Yale Univ., New Haven, Conn.)
	26	ICHBIAH ET AL. The Programmmg Language Ada Reference Manual. Lecture Notes in Computer Science, vol. 155. Springer-Verlag, New York, 1983.
	27	John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115883]
	28	Stefan Kaes, Parametric Overloading in Polymorphic Programming Languages, Proceedings of the 2nd European Symposium on Programming, p.131-144, March 21-24, 1988
	29	B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
	30	MATTHEWS, D. C. J. Poly manual. Tech. Rep. 65, Dept. of Computer Science, Univ. of Cambridge, U.K., 1985.
	31	MmNER, R. A proposal for standard ML. Tech. Rep. CSR-157-83, Dept. of Computer Science, Univ. of Edinburgh, Scotland, 1983.
	32	MmNER, R. A theory of type polymorphism in programming. J. Comput Syst. Sci. 17, (1978), 348-375.
	33	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential types, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.37-51, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318606]
	34	MORRISON, R., BROWN, A. L., CONNOR, R. C. H., AND DEARLE, A. The Napier88 Reference Manual. Res. Rep. PPRR-77-89, Dept. of Computational Science, Univ. of St. Andrews, Scotland, 1989. (Also published by the Univ. of Glasgow, Scotland.)
	35	R. Morrison , A. L. Brown , R. Carrick , R. C. H. Connor, Polymorphism, persistence and software re-use in a strongly typed object-oriented environment, Software Engineering Journal, v.2 n.6, p.199-204, Nov., 1987
	36	Ronald Morrison , Alfred L. Brown , Raymund Carrick , Richard C. H. Connor , Alan Dearle , Malcolm P. Atkinson, The Napier Type System, Proceedings of the Third International Workshop on Persistent Object Systems, p.3-18, January 10-13, 1989
	37	David Stemple , Leo Fegaras , Tim Sheard , Adolfo Socorro, Exceeding the limits of polymorphism in database programming languages, Proceedings of the international conference on extending database technology on Advances in database technology, p.269-285, March 1990, Venice, Italy
	38	STRACHE~, C. Fundamental Concepts ~n Programming Languages. Oxford University Press, Oxford, U.K., 1967.
	39	TURNER, D. A. SASL language manual. Rep. CS/79/3, Dept. of Computational Science, Univ. of St. Andrews, Scotland, 1979.
	40	TURNER, D.A. Miranda System Manual. Research Software, Ltd., Canterbury, England, 1987.
	41	J. C. van Vliet , H. M. Gladney, An evaluation of tagging, Software—Practice & Experience, v.15 n.9, p.823-837, Sept. 1985 [doi>10.1002/spe.4380150902]
	42	P. Wadler , S. Blott, How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.60-76, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75283]

CITED BY 13

	David F. Bacon, Kava: a Java dialect with a uniform object model for lightweight classes, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.68-77, June 2001, Palo Alto, California, United States
	Greg Morrisett , Matthias Felleisen , Robert Harper, Abstract models of memory management, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.66-77, June 26-28, 1995, La Jolla, California, United States
	Dominic Duggan, Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.11-45, Jan. 1999
	Andrew Tolmach, Tag-free garbage collection using explicit type parameters, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.1-11, July-Sept. 1994
	Xavier Leroy, Unboxed objects and polymorphic typing, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.177-188, January 19-22, 1992, Albuquerque, New Mexico, United States
	D. Tarditi , G. Morrisett , P. Cheng , C. Stone , R. Harper , P. Lee, TIL: a type-directed optimizing compiler for ML, ACM SIGPLAN Notices, v.31 n.5, p.181-192, May 1996
	Zhong Shao, Flexible representation analysis, ACM SIGPLAN Notices, v.32 n.8, p.85-98, Aug. 1997
	Malcolm Atkinson , Ronald Morrison, Orthogonally persistent object systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
	Yasuhiko Minamide , Greg Morrisett , Robert Harper, Typed closure conversion, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.271-283, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	David Tarditi , Greg Morrisett , Perry Cheng , Chris Stone , Robert Harper , Peter Lee, TIL: a type-directed, optimizing compiler for ML, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Atsushi Ohori , Tomonobu Takamizawa, An Unboxed Operational Semantics for ML Polymorphism, Lisp and Symbolic Computation, v.10 n.1, p.61-91, June 1997
	Robert Harper , Greg Morrisett, Compiling polymorphism using intensional type analysis, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.130-141, January 23-25, 1995, San Francisco, California, United States
	Yuji Chiba, Redundant boxing elimination by a dynamic compiler for Java, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Napier88

Additional Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.3 Language Constructs and Features
Subjects: Abstract data types
D.3.4 Processors
Subjects: Run-time environments

General Terms:
Languages, Performance, Theory

REVIEW

"Mark Brimhall Wells : Reviewer"

Polymorphism is the ability to write programs that are independent of the form of data that they manipulate. This paper discusses the implementation of polymorphism in Napier88 programming language, a typed language with first-class procedures more...

Collaborative Colleagues:

R. Morrison: colleagues

A. Dearle: colleagues

R. C. H. Connor: colleagues

A. L. Brown: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player