Kinded type inference for parametric overloading

DOI10.1007/S002360050035zbMath0843.68018OpenAlexW2063875055MaRDI QIDQ1911131

Dominic Duggan, John Ophel, Gordon V. Cormack

Publication date: 16 April 1996

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050035

zbMATH Keywords

parametric overloadingtype predicates

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Open and closed scopes for constrained genericity

Uses Software

• Unnamed Item
• Haskell
• LEGO

Cites Work

• Unnamed Item
• The calculus of constructions
• A lattice-theoretical fixpoint theorem and its applications
• An Efficient Unification Algorithm
• Comprehending monads
• Type-checking multi-parameter type classes
• A system of constructor classes: overloading and implicit higher-order polymorphism
• Type Reconstruction for Type Classes

This page was built for publication: Kinded type inference for parametric overloading