Kinded type inference for parametric overloading

DOI10.1007/S002360050035MaRDI QIDQ1911131zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Polymorphic type inference with overloading and subtyping
• Principal type schemes for functional programs with overloading and subtyping
• A theory of overloading
• scientific article; zbMATH DE number 1696585
• scientific article; zbMATH DE number 3881858

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A system of constructor classes: overloading and implicit higher-order polymorphism
• An Efficient Unification Algorithm
• Comprehending monads
• The calculus of constructions
• Type Reconstruction for Type Classes
• Type-checking multi-parameter type classes

Cited in

(3)

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

Describes a project that uses

Uses Software

• LEGO
• Haskell
• ML

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)