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

DOI10.1007/11924661_2zbMath1168.68367OpenAlexW1539860096MaRDI QIDQ5385585

Peter J. Stuckey, Tom Schrijvers, Martin Sulzmann

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)

Related Items

A lean specification for gadts: System F with first-class equality proofs, <scp>OutsideIn(X)</scp>Modular type inference with local assumptions, As time goes by: Constraint Handling Rules

Uses Software

• Haskell
• GHC