A second look at overloading

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A second look at overloading

Full text

Pdf (1.17 MB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the seventh international conference on Functional programming languages and computer architecture table of contents

La Jolla, California, United States

Pages: 135 - 146

Year of Publication: 1995

ISBN:0-89791-719-7

Authors

Martin Odersky	Institut für Programmstrukturen, Universität Karlsruhe, 76128, Karlsruhe, Germany
Philip Wadler	Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland
Martin Wehr	Institut für Programmstrukturen, Universität Karlsruhe, 76128, Karlsruhe, Germany

Sponsors

IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGARCH: ACM Special Interest Group on Computer Architecture

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 25, Citation Count: 10

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

	App93	Andrew W. Appel. A critique of standard ML. Journal of Functional Programming, 3(4), 1993.
	Aug93	Lennart Augustsson, Implementing Haskell overloading, Proceedings of the conference on Functional programming languages and computer architecture, p.65-73, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165191]
	Blo91	Stephen Blott. An Approach to Overloading with Polymorplaism. PhD thesis, Department of Computer Science, University of Glasgow, Sept 1991.
	BTCGS91	Val Breazu-Tannen , Thierry Coquand , Carl A. Gunter , Andre Scedrov, Inheritance as implicit coercion, Information and Computation, v.93 n.1, p.172-221, July 1991 [doi>10.1016/0890-5401(91)90055-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]
	Che94	Kung Chen, A parametric extension of Haskell's type classes, Yale University, New Haven, CT, 1994
	CHO92	Kung Chen , Paul Hudak , Martin Odersky, Parametric type classes, Proceedings of the 1992 ACM conference on LISP and functional programming, p.170-181, June 22-24, 1992, San Francisco, California, United States
	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]
	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]
	DO94	Dominic Duggan and John Ophel. Kinded parametric overloading. Technical Report CS- 94-35, University of Waterloo, September 1994.
	DRW95	Catherine Dubois , François Rouaix , Pierre Weis, Extensional polymorphism, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.118-129, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199473]
	HHPW94	Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler, Type Classes in Haskell, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.241-256, April 11-13, 1994
	HM95	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 [doi>10.1145/199448.199475]
	Jon92a	Mark Philip Jones, Qualified types: theory and practice (ordering relation), 1992
	Jon92b	Mark P. Jones, A theory of qualified types, Symposium proceedings on 4th European symposium on programming, p.287-306, January 1992, Rennes, France
	Jon93	Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, Proceedings of the conference on Functional programming languages and computer architecture, p.52-61, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165190]
	JT81	Richard D. Jenks , Barry M. Trager, A language for computational algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.6-13, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806363]
	Kae88	Stefan Kaes. Parametric overloading. In Proc. 2nd European Symposium on Programming. Springer-Verlag, 1988. Springer LNCS 300.
	Kae92	Stefan Kaes, Type inference in the presence of overloading, subtyping and recursive types, Proceedings of the 1992 ACM conference on LISP and functional programming, p.193-204, June 22-24, 1992, San Francisco, California, United States
	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]
	Mil78	Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, Dec 1978.
	MPS86	David MacQueen , Gordon Plotkin , Ravi Sethi, An ideal model for recursive polymorphic types, Information and Control, v.71 n.1-2, p.95-130, Oct/Nov. 1986 [doi>10.1016/S0019-9958(86)80019-5]
	NP93	Tobias Nipkow , Christian Prehofer, Type checking type classes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.409-418, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158698]
	NS91	Tobias Nipkow , Gregor Snelting, Type classes and overloading resolution via order-sorted unification, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.1-14, June 1991, Cambridge, Massachusetts, United States
	Oho92	Atsushi Ohori, A compilation method for ML-style polymorphic record calculi, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.154-165, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143200]
	Pet94	John Peterson. Structures in Yale Haskell. draft paper, 1994.
	PJ93	John Peterson , Mark Jones, Implementing type classes, ACM SIGPLAN Notices, v.28 n.6, p.227-236, June 1993
	Rem89	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]
	Rou90	Francois Rouaix, Safe run-time overloading, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, December 1989, San Francisco, California, United States [doi>10.1145/96709.96746]
	Smi91	Geoffrey Seward Smith, Polymorphic type inference for languages with overloading and subtyping, Cornell University, Ithaca, NY, 1992
	SOM93	Clemens Szyperski , Stephen Omohundro , Stephan Murer, Engineering a programming language: the type and class system of Sather, Proceedings of the international conference on Programming languages and system architectures, p.208-227, April 1994, Zurich, Switzerland
	Tha94	Satish R. Thatté, Semantics of type classes revisited, Proceedings of the 1994 ACM conference on LISP and functional programming, p.208-219, June 27-29, 1994, Orlando, Florida, United States
	Vol93	Dennis Volpano. A critique of type systems for global overloading. Computer Science Technical Report NPSCS-94-006, Naval Postgraduate School, October 1993.
	Wan87	Mitchell Wand. Complete type inference for simple objects. In Proc. IEEE Symposium on Logic in Computer Science, pages 37-44, June 1987.
	WB89	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 10

	Jeffrey R. Lewis , John Launchbury , Erik Meijer , Mark B. Shields, Implicit parameters: dynamic scoping with static types, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.108-118, January 19-21, 2000, Boston, MA, USA
	François Bourdoncle , Stephan Merz, Type checking higher-order polymorphic multi-methods, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 15-17, 1997, Paris, France
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM SIGPLAN Notices, v.37 n.9, p.167-178, September 2002
	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
	Carlos Camarão , Lucília Figueiredo , Cristiano Vasconcellos, Constraint-set satisfiability for overloading, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.67-77, August 24-26, 2004, Verona, Italy
	Manish Vachharajani , Neil Vachharajani , David I. August, The liberty structural specification language: a high-level modeling language for component reuse, ACM SIGPLAN Notices, v.39 n.6, May 2004
	Manish Vachharajani , Neil Vachharajani , Sharad Malik , David I. August, Facilitating reuse in hardware models with enhanced type inference, Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, September 08-10, 2004, Stockholm, Sweden
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1216-1269, November 2005
	Koji Kagawa, Polymorphic variants in Haskell, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Dominic Duggan , John Ophel, Type-checking multi-parameter type classes, Journal of Functional Programming, v.12 n.2, p.133-158, March 2002