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

DOI10.1017/S0956796800001210zbMATH Open0819.68027MaRDI QIDQ4836019FDOQ4836019

Authors: Mark P. Jones 

Publication date: 11 September 1995

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

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

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)

Cites Work

• A theory of type polymorphism in programming
• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A functional theory of exceptions

Cited In (11)

• Lightweight higher-kinded polymorphism
• Covariant types
• Kinded type inference for parametric overloading
• Implicit parameters: dynamic scoping with static types
• A theory of qualified 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

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)