Principal Type Inference for GHC-Style Multi-parameter Type Classes

DOI10.1007/11924661_2MaRDI QIDQ5385585zbMATH OpenOpenAlexFDO

Authors Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/131526

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Principal type inference for GADTs
• Complete and decidable type inference for GADTs
• Type Reconstruction for Type Classes
• Type-checking multi-parameter type classes
• \textsc{OutsideIn(X)}: modular type inference with local assumptions

Cited in

(10)

• Type Class Instances for Type-Level Lambdas in Haskell
• Principal type inference for GADTs
• Complete and decidable type inference for GADTs
• Ambivalent types for principal type inference with GADTs
• As time goes by: constraint handling rules
• Type-checking multi-parameter type classes
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• Modular inference of linear types for multiplicity-annotated arrows
• Programming Languages and Systems
• A lean specification for gadts: System F with first-class equality proofs

Describes a project that uses

Uses Software

• Haskell
• GHC

This page was built for publication: Principal Type Inference for GHC-Style Multi-parameter Type Classes

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