Type checking and problem of overloaded arguments

MaRDI QIDQ2770780zbMATH OpenFDO

Authors L. Szarapka, Z. Budimac, Mirjana Ivanović

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Lower bounds on type checking overloading
• Type-checking multi-parameter type classes
• scientific article; zbMATH DE number 3881858
• Type checking with open type functions
• Kinded type inference for parametric overloading
• Intersection types and overloading
• scientific article; zbMATH DE number 4052993
• Polymorphic type inference with overloading and subtyping
• Basic polymorphic typechecking

Cited in

(1)

• Lower bounds on type checking overloading

This page was built for publication: Type checking and problem of overloaded arguments

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