scientific article; zbMATH DE number 1479619

MaRDI QIDQ4490732zbMATH OpenFDO

Authors Hideki Tsuiki

Publication date 20 July 2000

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• A calculus for overloaded functions with subtyping
• scientific article; zbMATH DE number 512775
• Dependent types with subtyping and late-bound overloading
• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding
• A computationally adequate model for overloading via domain-valued functors

Cited in

(7)

• Dependent types with subtyping and late-bound overloading
• A calculus for overloaded functions with subtyping
• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding
• A computationally adequate model for overloading via domain-valued functors
• scientific article; zbMATH DE number 512775 (Why is no real title available?)
• scientific article; zbMATH DE number 1005367 (Why is no real title available?)
• General Homomorphic Overloading

This page was built for publication:

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