Type checking higher-order polymorphic multi-methods

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Type checking higher-order polymorphic multi-methods

Full text

Pdf (1.20 MB)

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: 302 - 315

Year of Publication: 1997

ISBN:0-89791-853-3

Authors

François Bourdoncle	Centre de Mathématiques Appliquées, École des Mines de Paris
Stephan Merz	Institut für Informatik, Universität München

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): 6, Downloads (12 Months): 19, Citation Count: 15

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.263743 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	Martín Abadi , Luca Cardelli , Benjamin Pierce , Gordon Plotkin, Dynamic typing in a statically typed language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.237-268, April 1991 [doi>10.1145/103135.103138]
	2	Martín Abadi , Luca Cardelli, A Theory of Primitive Objects - Scond-Order Systems, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.1-25, April 11-13, 1994
	3	Alexander Aiken , Edward L. Wimmers, Type inclusion constraints and type inference, Proceedings of the conference on Functional programming languages and computer architecture, p.31-41, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165188]
	4	F. Bourdoncle, S. Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Technical Report 26, Centre des Math#matiques Appliqu#es, #cole des Mines de Paris (1996) http : //#. ens}np, fr/'bourdonc/
	5	F. Bourdoncle, S. Merz. Primitive subtyping A implicitpolymorphism #= object-orientation. Third International Workshop on Foundations of Object-Oriented Languages (1996) hl:tp://#4, in:tormal;ik, tu-muenchsn, de/'msrz/
	6	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
	7	K. B. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. T. Leavens, B. C. Pierce. On binary methods. Technical report LIENS-95-14 (1995)
	8	Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo, A calculus for overloaded functions with subtyping, Information and Computation, v.117 n.1, p.115-135, Feb. 15, 1995 [doi>10.1006/inco.1995.1033]
	9	Giuseppe Castagna , Benjamin C. Pierce, Corrigendum: decidable bounded quantification, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.408, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199539]
	10	C. Chambers, G. Leavens. Typechecking and Modules for Multi-Methods. Technical Report UW-CS TR 95-08-05, University of Washington (1995)
	11	P. L. Curien, G. Ghelli. Coherence of subsumption, minimum typing and the type checking of F<. Mathematical Structures in Computer Science 2(1) (1992)
	12	Linda G. DeMichiel , Richard P. Gabriel, The Common Lisp object system: an overview, European conference on object-oriented programming on ECOOP '87, p.151-170, October 1987, Paris, France
	13	D. Duggan, J. Ophel. Kinded Parametric Overloading. Technicai Report CS-94-35, University of Waterloo (1994)
	14	D. Duggan. Polymorphic Methods With Self Types for ML- like Languages. Technical Report CS-95-03, University of Waterloo (1995)
	15	D. Duggan, J. Ophel. Multi-Parameter Parametric Overloading. Technical report, University of Waterloo (1995) (submitted to publication)
	16	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
	17	You-Chin Fuh , Prateek Mishra, Type inference with subtypes, Proceedings of the Second European Symposium on Programming, p.155-175, January 1988, Nancy, France
	18	You-Chin Fuh , Prateek Mishra, Polymorphic Subtype Inference: Closing the Theory-Practice Gap, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages, p.167-183, March 13-17, 1989
	19	K. Hammond, editor. Report on the Programming Language Haskell, version 1.3 (1995)
	20	Robert Harper , John C. Mitchell, On the type structure of standard ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.211-252, April 1993 [doi>10.1145/169701.169696]
	21	R. Hindley. The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. Soc., 146 (1969) 29-60
	22	Lalita A. Jategaonkar , John C. Mitchell, Type inference with extended pattern matching and subtypes, Fundamenta Informaticae, v.19 n.1-2, p.127-165, Sept./Oct. 1993
	23	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]
	24	S. Kaes. Parametric Polymorphism. Proc. of 2rid European Syrup. on Programming, LNCS 300 (1988)
	25	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
	26	X. Leroy, M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4) (1993) 109-122
	27	Patrick Lincoln , John C. Mitchell, Algorithmic aspects of type inference with subtypes, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.293-304, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143227]
	28	R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, vol. 17 (1978) 348-37'5
	29	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]
	30	J. C. Mitchell. Type inference with simple subtypes. Journal of Functional Programming, 1(3) (1991) 245-285
	31	Martin Odersky , Philip Wadler , Martin Wehr, A second look at overloading, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.135-146, June 26-28, 1995, La Jolla, California, United States [doi>10.1145/224164.224195]
	32	J. Palsberg. Efficient inference of object types. Proc. IEEE Syrup. Logic in Computer Science (1994) 186-195
	33	B. C. Pierce, D. N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming 4 (2) (1994) 207-24?
	34	V. Pratt, J. Tiuryn. Satisfiability of Inequalities in a Poset. Technical Report 95-15(215), Institute of Informatics, Warsaw University (1995)
	35	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
	36	J. Reppy, J. Riecke. Classes in Object ML via Modules. Presented at the Third International Workshop on Foundations of Object-Oriented Languages (1996) http: //tnr#. ca. villiamm, edu/'klm/F00L/
	37	J. Tiuryn. Subtype Inequalities. Proceedings of the Seventh Symposium on Logic in Computer Science (1992) 308-315
	38	Jerzy Tiuryn , Mitchell Wand, Type Reconstruction with Recursive Types and Atomic Subtyping, Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development, p.686-701, April 13-17, 1993
	39	Valery Trifonov , Scott F. Smith, Subtyping Constrained Types, Proceedings of the Third International Symposium on Static Analysis, p.349-365, September 24-26, 1996
	40	J. E. Vuillemin, On Circuits and Numbers, IEEE Transactions on Computers, v.43 n.8, p.868-879, August 1994 [doi>10.1109/12.295849]
	41	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 15

	Curtis Clifton , Gary T. Leavens , Craig Chambers , Todd Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, ACM SIGPLAN Notices, v.35 n.10, p.130-145, Oct. 2000
	Gary T. Leavens , Todd D. Millstein, Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, v.33 n.10, p.374-387, Oct. 1998
	Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002
	Yuri Leontiev , M. Tamer Özsu , Duane Szafron, On type systems for object-oriented database programming languages, ACM Computing Surveys (CSUR), v.34 n.4, p.409-449, December 2002
	François Pottier, Simplifying subtyping constraints: a theory, Information and Computation, v.170 n.2, p.153-183, November 1, 2001
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Remi Forax , Etienne Duris , Gilles Roussel, A Reflective Implementation of Java Multi-Methods, IEEE Transactions on Software Engineering, v.30 n.12, p.1055-1071, December 2004
	Antonio Cunei , Jan Vitek, PolyD: a flexible dispatching framework, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006
	Alexandre Frey, Satisfying subtype inequalities in polynomial space, Theoretical Computer Science, v.277 n.1-2, p.105-117, April 28, 2002
	François Pottier , Nadji Gauthier, Polymorphic typed defunctionalization and concretization, Higher-Order and Symbolic Computation, v.19 n.1, p.125-162, March 2006
	Maribel Fernández , Fabien Fleutot, A historic functional and object-oriented calculus, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Matthias Blume , Umut A. Acar , Wonseok Chae, Extensible programming with first-class cases, ACM SIGPLAN Notices, v.41 n.9, September 2006
	David Lievens , William Harrison, Symmetric encapsulated multi-methods to abstract over application structure, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii