Pages that link to "Item:Q1350339"
From MaRDI portal
The following pages link to A meta-language for typed object-oriented languages (Q1350339):
Displaying 5 items.
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
