The following pages link to PolyTOIL (Q26111):
Displaying 19 items.
- A language for generic programming in the large (Q532409) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Matching for the lambda calculus of objects (Q1275623) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Foundations for virtual types (Q1854531) (← links)
- Type-safe covariant specialization with generalized matching (Q1854554) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- (Q3046755) (← links)
- (Q4364534) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- (Q4944854) (← links)
- A New Formalization of Subtyping to Match Subclasses to Subtypes (Q5170715) (← links)
- (Q5309394) (← links)
- (Q5482600) (← links)