Pages that link to "Item:Q1891168"
From MaRDI portal
The following pages link to A calculus for overloaded functions with subtyping (Q1891168):
Displayed 20 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)
- Elaborating intersection and union types (Q2875228) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- (Q5216307) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
- Applicative intersection types (Q6176571) (← links)