The following pages link to (Q4281468):
Displaying 6 items.
- A meta-language for typed object-oriented languages (Q1350339) (← 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)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
