A system of constructor classes

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A system of constructor classes: overloading and implicit higher-order polymorphism

Full text

Pdf (1.04 MB)

Source

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

Copenhagen, Denmark

Pages: 52 - 61

Year of Publication: 1993

ISBN:0-89791-595-X

Author

Mark P. Jones

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 71, Citation Count: 30

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/165180.165190 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	H. Barendregt. Introduction to generalized type systems. Journal of Functional Programming, volume 1, part 2, 1991.
	2	V. Breazu-Tannen , T. Coquand , C. Gunter , A. Scedrov, Inheritance and explicit coercion, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.112-129, June 1989, Pacific Grove, California, United States
	3	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
	4	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]
	5	Paul Hudak , Joseph H. Fasel, A gentle introduction to Haskell, ACM SIGPLAN Notices, v.27 n.5, p.1-52, May 1992 [doi>10.1145/130697.130698]
	6	Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992 [doi>10.1145/130697.130699]
	7	Mark P. Jones, A theory of qualified types, Symposium proceedings on 4th European symposium on programming, p.287-306, January 1992, Rennes, France
	8	Mark Philip Jones, Qualified types: theory and practice (ordering relation), 1992
	9	Mark P. Jones, Programming with Constructor Classes (Preliminary Summary), Proceedings of the 1992 Glasgow Workshop on Functional Programming, p.122-133, July 06-08, 1992
	10	E. Moggi, Computational lambda-calculus and monads, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.14-23, June 1989, Pacific Grove, California, United States
	11	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	12	M. Spivey, A functional theory of exceptions, Science of Computer Programming, v.14 n.1, p.25-42, Jun. 1990 [doi>10.1016/0167-6423(90)90056-J]
	13	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]
	14	Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France [doi>10.1145/91556.91592]
	15	Philip Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143169]

CITED BY 30

	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
	Dominic Duggan , Constantinos Sourelis, Mixin modules, ACM SIGPLAN Notices, v.31 n.6, p.262-273, June 15, 1996
	Martin Odersky , Philip Wadler, Pizza into Java: translating theory into practice, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.146-159, January 15-17, 1997, Paris, France
	Erik Meijer , Graham Hutton, Bananas in space: extending fold and unfold to exponential types, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.324-333, June 26-28, 1995, La Jolla, California, United States
	Zhe Yang, Encoding types in ML-like languages, ACM SIGPLAN Notices, v.34 n.1, p.289-300, Jan. 1999
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, ACM SIGPLAN Notices, v.35 n.1, p.81-94, Jan. 2000
	Cordelia V. Hall, Using Hindley-Milner type inference to optimise list representation, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.162-172, July-Sept. 1994
	Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber, Functional logic overloading, ACM SIGPLAN Notices, v.37 n.1, p.233-244, Jan. 2002
	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
	Mark P. Jones, Simplifying and improving qualified types, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.160-169, June 26-28, 1995, La Jolla, California, United States
	Johan Jeuring , Doaitse Swierstra, Constructing functional programs for grammar analysis problems, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.259-269, June 26-28, 1995, La Jolla, California, United States
	Malcolm Wallace , Colin Runciman, Lambdas in the liftshaft—functional programming and an embedded architecture, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.249-258, June 26-28, 1995, La Jolla, California, United States
	Philip Wadler, How to declare an imperative, ACM Computing Surveys (CSUR), v.29 n.3, p.240-263, Sept. 1997
	Johan Nordlander, Pragmatic subtyping in polymorphic languages, ACM SIGPLAN Notices, v.34 n.1, p.216-227, Jan. 1999
	Guy L. Steele, Jr., Building interpreters by composing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.472-492, January 16-19, 1994, Portland, Oregon, United States
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM SIGPLAN Notices, v.37 n.9, p.167-178, September 2002
	Jaakko Järvi , Jeremiah Willcock , Andrew Lumsdaine, Concept-controlled polymorphism, Proceedings of the second international conference on Generative programming and component engineering, p.228-244, September 22-25, 2003, Erfurt, Germany
	Sheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, United States
	Matthias Neubauer , Peter Thiemann, Type classes with more higher-order polymorphism, ACM SIGPLAN Notices, v.37 n.9, p.179-190, September 2002
	Tim Sheard, Languages of the future, ACM SIGPLAN Notices, v.39 n.12, December 2004
	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
	Cosmin E. Oancea , Stephen M. Watt, Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Tim Sheard, Putting curry-howard to work, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.74-85, September 30-30, 2005, Tallinn, Estonia
	Martin Sulzmann, Extracting programs from type class proofs, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Ralf Lämmel , Klaus Ostermann, Software extension and integration with type classes, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
	Martin Sulzmann , Meng Wang, Aspect-oriented programming with type classes, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.65-74, March 13-13, 2007, Vancouver, British Columbia, Canada
	Martin Sulzmann , Meng Wang, Modular generic programming with extensible superclasses, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	Dominic Duggan , John Ophel, Type-checking multi-parameter type classes, Journal of Functional Programming, v.12 n.2, p.133-158, March 2002
	Jean-Philippe Bernardy , Patrik Jansson , Marcin Zalewski , Sibylle Schupp , Andreas Priesnitz, A comparison of c++ concepts and haskell type classes, Proceedings of the ACM SIGPLAN workshop on Generic programming, September 20-20, 2008, Victoria, BC, Canada

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.3 Studies of Program Constructs
Subjects: Type structure

General Terms:
Languages, Theory

REVIEW

"Edward A. Schneider : Reviewer"

Jones presents an important extension to type classes as found in the applicative programming language Haskell. Type classes are a set of types to which a group of polymorphic functions may be applied; they provide a means to control ad hoc po more...

Collaborative Colleagues:

Mark P. Jones: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player