Type Reconstruction for Type Classes

DOI10.1017/S0956796800001325zbMath0833.68025MaRDI QIDQ4850163

Tobias Nipkow, Christian Prehofer

Publication date: 9 October 1995

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

zbMATH Keywords

Haskellfunctional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (7)

Lyndon words formalized in Isabelle/HOL ⋮ Kinded type inference for parametric overloading ⋮ <scp>OutsideIn(X)</scp>Modular type inference with local assumptions ⋮ Isabelle's metalogic: formalization and proof checker ⋮ Type Inference using Constraint Handling Rules ⋮ A formalization and proof checker for Isabelle's metalogic ⋮ Open and closed scopes for constrained genericity

Uses Software

• Haskell

This page was built for publication: Type Reconstruction for Type Classes