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)

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

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

Cited in

(11)

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

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)