Type classes in Haskell-Reference-Cited by-同舟云学术

Type classes in Haskell

Published:1996-03 Issue:2 Volume:18 Page:109-138
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Hall Cordelia V.¹,Hammond Kevin¹,Peyton Jones Simon L.¹,Wadler Philip L.¹

Affiliation:

1. Glasgow Univ., Glasgow, Scotland, UK

Abstract

This article defines a set of type inference rules for resolving overloading introduced by type classes, as used in the functional programming language Haskell. Programs including type classes are transformed into ones which may be typed by standard Hindley-Milner inference rules. In contrast to other work on type classes, the rules presented here relate directly to Haskell programs. An innovative aspect of this work is the use of second-order lambda calculus to record type information in the transformed program.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/227699.227700

Reference37 articles.

1. BLOTT S. 1991. Type classes. Ph.D. thesis Dept. of Computing Science Glasgow Univ. Glasgow Scotland. BLOTT S. 1991. Type classes. Ph.D. thesis Dept. of Computing Science Glasgow Univ. Glasgow Scotland.

2. Basic polymorphic typechecking

3. CHEN I~. 1994. Semantics and coherence for parametric type classes. Res. Rep. YALEU/DCS/RR-1003 Dept. of Computer Science Yale Univ. New Haven Conn. June. CHEN I~. 1994. Semantics and coherence for parametric type classes. Res. Rep. YALEU/DCS/RR-1003 Dept. of Computer Science Yale Univ. New Haven Conn. June.

4. CHEN I~. 1995. A parametric extension of Haskell's type classes. Ph.D. thesis Dept. of Computer Science Yale Univ. New Haven Conn. CHEN I~. 1995. A parametric extension of Haskell's type classes. Ph.D. thesis Dept. of Computer Science Yale Univ. New Haven Conn.

Cited by 112 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Flexible and reversible conversion between extensible records and overloading constraints for ML;Journal of Systems and Software;2024-10

2. Double-Ended Bit-Stealing for Algebraic Data Types;Proceedings of the ACM on Programming Languages;2024-08-15

3. Explicit Effects and Effect Constraints in ReML;Proceedings of the ACM on Programming Languages;2024-01-05

4. Weighted Refinement Types for Counterpoint Composition;Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design;2023-08-30

5. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go;Journal of Functional Programming;2023