General Homomorphic Overloading

DOI10.1007/11431664_12MaRDI QIDQ5423553zbMATH OpenOpenAlexFDO

Authors Alex Shafarenko, Sven-Bodo Scholz

Publication date 23 October 2007

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2299/847

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A calculus for overloaded functions with subtyping
• Explicit mathematics: power types and overloading
• A computationally adequate model for overloading via domain-valued functors
• Intersection types and overloading
• Publication:4490732
• Polymorphic type inference with overloading and subtyping
• Kinded type inference for parametric overloading
• Functorial polymorphism

Cited in

(2)

• When Homomorphism Becomes a Liability
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

This page was built for publication: General Homomorphic Overloading

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