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

DOI10.1017/S0956796800001210zbMath0819.68027MaRDI QIDQ4836019

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

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

Related Items

Kinded type inference for parametric overloading ⋮ Covariant types ⋮ Typed operational semantics for higher-order subtyping. ⋮ Generic programming in 3D ⋮ Implicit coercions in type systems ⋮ Encoding types in ML-like languages ⋮ PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION

Uses Software

• Haskell

Cites Work

• A functional theory of exceptions
• A theory of type polymorphism in programming
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item