Kinded type inference for parametric overloading

DOI10.1007/S002360050035zbMATH Open0843.68018OpenAlexW2063875055MaRDI QIDQ1911131FDOQ1911131

Dominic Duggan, Gordon V. Cormack, John Ophel

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)

Cites Work

• Title not available (Why is that?)
• A lattice-theoretical fixpoint theorem and its applications
• An Efficient Unification Algorithm
• Comprehending monads
• The calculus of constructions
• Type-checking multi-parameter type classes
• Type Reconstruction for Type Classes
• A system of constructor classes: overloading and implicit higher-order polymorphism

Cited In (3)

• Open and closed scopes for constrained genericity
• Type checking and problem of overloaded arguments
• General Homomorphic Overloading

Uses Software

• ML
• Haskell
• LEGO

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

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