Work

Parametric type classes

Year: 1992

Type: conference-paper

Abstract: We propose a generalization to Haskell's type classes where a class can have type parameters besides the placeholder variable. We show that this generalization is essential to represent container classes with overloaded data constructor and selector operations. We also show that the resulting type system has principal types and present unification and type reconstruction algorithms.

Source: ACM Conference on LISP and Functional Programming (LFP)

DOI: 10.1145/141471.141536

Authors: Kung Chen, Paul Hudak, Martin Odersky

Institution: Yale University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2062090834

FWCI: 4.169

Cites: 14

Cited by: 58

Related to: 10