Pages that link to "Item:Q1891168"
From MaRDI portal
The following pages link to A calculus for overloaded functions with subtyping (Q1891168):
Displayed 12 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) (Q1392284) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← 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)
- Modular statically typed multimethods (Q1854533) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)