Type-checking multi-parameter type classes

DOI10.1017/S0956796801004233MaRDI QIDQ4331136zbMATH OpenOpenAlexFDO

Authors Dominic Duggan, John Ophel

Publication date 14 May 2002

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796801004233

zbMATH Keywords

domain-driven unifying resolution

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• scientific article; zbMATH DE number 1629944
• scientific article; zbMATH DE number 1487941
• Type Reconstruction for Type Classes
• Type checking with open type functions

Cited in

(10)

• Type checking and problem of overloaded arguments
• Kinded type inference for parametric overloading
• Preemptive Type Checking in Dynamically Typed Languages
• Basic polymorphic typechecking
• Classification of control of types in programs with complex data types
• scientific article; zbMATH DE number 1629944 (Why is no real title available?)
• scientific article; zbMATH DE number 1330430 (Why is no real title available?)
• Types as parameters
• Lower bounds on type checking overloading
• Principal Type Inference for GHC-Style Multi-parameter Type Classes

This page was built for publication: Type-checking multi-parameter type classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4331136)