Simplifying and improving qualified types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Simplifying and improving qualified types

Full text

Pdf (1.02 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: 160 - 169

Year of Publication: 1995

ISBN:0-89791-719-7

Author

Mark P. Jones

Department of Computer Science, University of Nottingham, University Park, Nottingham, NG7 2RD

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): 4, Downloads (12 Months): 38, Citation Count: 17

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.224198 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	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
	2	Dominique Clément , Thierry Despeyroux , Gilles Kahn , Joëlle Despeyroux, A simple applicative language: mini-ML, Proceedings of the 1986 ACM conference on LISP and functional programming, p.13-27, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319847]
	3	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
	4	You-Chin Fuh , Prateek Mishra, Type inference with subtypes, Theoretical Computer Science, v.73 n.2, p.155-175, June 22, 1990
	5	Robert Harper , Benjamin Pierce, A record calculus based on symmetric concatenation, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-142, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99603]
	6	R.W. Harper and B.C. Pierce. Extensible records without subsumption. TechnicM report CMU-CS-90-102, Carnegie Mellon University, School of computer science, February 1990.
	7	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]
	8	Mark P. Jones. Introduction to Gofer 2.20, September 1991. Available by anonymous ftp as part of the standard Gofer distribution.
	9	Mark P. Jones. Computing with lattices: An application of type classes. Journal of Functional Programming, 2(4), October 1992.
	10	Mark P. Jones, Qualified types: theory and practice, Cambridge University Press, New York, NY, 1995
	11	Mark P. Jones, A theory of qualified types, Symposium proceedings on 4th European symposium on programming, p.287-306, January 1992, Rennes, France
	12	Mark P. Jones. Coherence for qualified types. Research Report YALEU/DCS/RR-989, Yale ltniversity, New Haven, Connecticut, USA, September 1993.
	13	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]
	14	Mark P. Jones. The implementation of the Gofer functional programming system. Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, May 1994.
	15	Mark P. Jones. Simplifying and improving qualified types. Research Report YALEU/DCS/RR-1040, Yale University, New Haven, Connecticut, USA, June 1994.
	16	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]
	17	J.C. Mitchell. Type inference with simple subtypes. Journal of functional programming, 1(3):245-286, July 1991
	18	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]
	19	Geoffrey Seward Smith. Polymorphic type inference for languages with overloading and subtyping. PhD thesis, Department of Computer Science, Cornell University, Ithaca, New York, August 1991.
	20	Dennis M. Volpano , Geoffrey S. Smith, On the complexity of ML typeability with overloading, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.15-28, June 1991, Cambridge, Massachusetts, United States
	21	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 17

	Manuel M. T. Chakravarty , Gabriele Keller , Simon Peyton Jones , Simon Marlow, Associated types with class, ACM SIGPLAN Notices, v.40 n.1, p.1-13, January 2005
	Robert DeLine , Manuel Fähndrich, Enforcing high-level protocols in low-level software, ACM SIGPLAN Notices, v.36 n.5, p.59-69, May 2001
	Pablo E. Martínez López , John Hughes, Principal type specialisation, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.94-105, September 12-14, 2002, Aizu, Japan
	Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber, Functional logic overloading, ACM SIGPLAN Notices, v.37 n.1, p.233-244, Jan. 2002
	Mark Shields , Erik Meijer, Type-indexed rows, ACM SIGPLAN Notices, v.36 n.3, p.261-275, March 2001
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM SIGPLAN Notices, v.37 n.9, p.167-178, September 2002
	Matthias Neubauer , Peter Thiemann, Type classes with more higher-order polymorphism, ACM SIGPLAN Notices, v.37 n.9, p.179-190, September 2002
	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
	Oleg Kiselyov , Ralf Lämmel , Keean Schupke, Strongly typed heterogeneous collections, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA
	Manuel M. T. Chakravarty , Gabriele Keller , Simon Peyton Jones, Associated type synonyms, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Derek Dreyer , Robert Harper , Manuel M. T. Chakravarty , Gabriele Keller, Modular type classes, ACM SIGPLAN Notices, v.42 n.1, January 2007
	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
	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
	Martin Sulzmann , Gregory J. Duck , Simon Peyton-Jones , Peter J. Stuckey, Understanding functional dependencies via constraint handling rules, Journal of Functional Programming, v.17 n.1, p.83-129, January 2007
	Dominic Duggan , John Ophel, Type-checking multi-parameter type classes, Journal of Functional Programming, v.12 n.2, p.133-158, March 2002
	Jurriaan Hage , Stefan Holdermans , Arie Middelkoop, A generic usage analysis with subeffect qualifiers, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Mark P. Jones , Iavor S. Diatchki, Language and program design for functional dependencies, Proceedings of the first ACM SIGPLAN symposium on Haskell, September 25-25, 2008, Victoria, BC, Canada