A system of constructor classes: overloading and implicit higher-order polymorphism

DOI10.1017/S0956796800001210MaRDI QIDQ4836019zbMATH OpenFDO

Authors Mark P. Jones

Publication date 11 September 1995

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

Full work available at URL https://doi.org/10.1017/S0956796800001210

zbMATH Keywords

constructor classesflexible type system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Type Reconstruction for Type Classes
• Instance chains: type class programming without overlapping instances
• Type classes with more higher-order polymorphism
• A theory of qualified types
• Principal type schemes for functional programs with overloading and subtyping

Cites work

• A functional theory of exceptions
• A Machine-Oriented Logic Based on the Resolution Principle
• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 195199 (Why is no real title available?)

Cited in

(12)

• A theory of qualified types
• Covariant types
• Typed operational semantics for higher-order subtyping.
• Encoding types in ML-like languages
• Kinded type inference for parametric overloading
• Implicit coercions in type systems
• Lightweight higher-kinded polymorphism
• Instance chains: type class programming without overlapping instances
• Implicit parameters: dynamic scoping with static types
• Prolog's control constructs in a functional setting -- axioms and implementation
• From high to low: simulating nondeterminism and state with state
• Generic programming in 3D

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: A system of constructor classes: overloading and implicit higher-order polymorphism

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