PolyTOIL
From MaRDI portal
Software:26111
No author found.
Related Items (19)
Evolution of rule-based programs ⋮ Unnamed Item ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Unnamed Item ⋮ Termination of system \(F\)-bounded: A complete proof ⋮ Unnamed Item ⋮ Typed operational semantics for higher-order subtyping. ⋮ Unnamed Item ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ A language for generic programming in the large ⋮ A New Formalization of Subtyping to Match Subclasses to Subtypes ⋮ Matching for the lambda calculus of objects ⋮ Basic theory of \(F\)-bounded quantification. ⋮ Comparing object encodings. ⋮ Semantics of temporal classes ⋮ Objects and classes in Algol-like languages ⋮ Foundations for virtual types ⋮ Type-safe covariant specialization with generalized matching ⋮ Unnamed Item
This page was built for software: PolyTOIL
