Type Reconstruction for Type Classes

DOI10.1017/S0956796800001325MaRDI QIDQ4850163zbMATH OpenFDO

Authors 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)

Recommendations

• Polymorphic type inference with overloading and subtyping
• Principal type schemes for functional programs with overloading and subtyping
• Type classes with more higher-order polymorphism
• A theory of qualified types
• Higher-order unification, polymorphism, and subsorts

Cited in

(35)

• Polymorphic type inference with overloading and subtyping
• Type classes with existential types
• Construction of tame types
• Hints in Unification
• Lyndon words formalized in Isabelle/HOL
• Higher-order unification, polymorphism, and subsorts
• Open and closed scopes for constrained genericity
• Type-checking multi-parameter type classes
• Formal verification of algorithm \(\mathcal{W}\): the monomorphic case
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• Kinded type inference for parametric overloading
• Certifying dictionary construction in Isabelle/HOL
• Resolving plural ambiguities by type reconstruction
• A Modular Type Reconstruction Algorithm
• Type-safe cast (functional pearl)
• A theory of qualified types
• Type inference using constraint handling rules
• A system of constructor classes: overloading and implicit higher-order polymorphism
• Implementation of Functional Languages
• First-Class Type Classes
• A static semantics for Haskell
• Instance chains: type class programming without overlapping instances
• Isabelle's metalogic: formalization and proof checker
• A formalization and proof checker for Isabelle's metalogic
• scientific article; zbMATH DE number 1696585 (Why is no real title available?)
• FPH: first-class polymorphism for Haskell
• Type classes with more higher-order polymorphism
• Principal type schemes for functional programs with overloading and subtyping
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Programming Languages and Systems
• Type Processing by Constraint Reasoning
• Functional logic overloading
• Type classes for lightweight substructural types
• Qualified Types
• scientific article; zbMATH DE number 3881858 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

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

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