Type Reconstruction for Type Classes

DOI10.1017/S0956796800001325zbMATH Open0833.68025MaRDI QIDQ4850163FDOQ4850163

Authors: Tobias Nipkow, Christian Prehofer 

Publication date: 9 October 1995

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

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

zbMATH Keywords

Haskellfunctional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (35)

• Type classes with existential types
• Hints in Unification
• Construction of tame types
• Higher-order unification, polymorphism, and subsorts
• Lyndon words formalized in Isabelle/HOL
• Type-checking multi-parameter type classes
• Open and closed scopes for constrained genericity
• 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
• Instance chains: type class programming without overlapping instances
• A static semantics for Haskell
• Isabelle's metalogic: formalization and proof checker
• A formalization and proof checker for Isabelle's metalogic
• FPH: first-class polymorphism for Haskell
• Title not available (Why is that?)
• Type classes with more higher-order polymorphism
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Programming Languages and Systems
• Principal type schemes for functional programs with overloading and subtyping
• Type Processing by Constraint Reasoning
• Functional logic overloading
• Type classes for lightweight substructural types
• Qualified Types
• Title not available (Why is that?)
• Polymorphic type inference with overloading and subtyping

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)