Pages that link to "Item:Q4281468"

The following pages link to A semantics for \(\lambda\)\&-\textit{early}: A calculus with overloading and early binding (Q4281468):

Displaying 9 items.

• A meta-language for typed object-oriented languages (Q1350339) (← links)
• Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) (Q1392284) (← links)
• Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
• Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
• Foundations for extensible objects with roles (Q1854532) (← links)
• A calculus for overloaded functions with subtyping (Q1891168) (← links)
• Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding (Q2761748) (← links)
• Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)