The following pages link to Operations on records (Q3349962):
Displayed 9 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Another definition of order-sorted algebra (Q1273072) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Type destructors (Q1854494) (← links)
- Foundations for extensible objects with roles (Q1854532) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- Simple type-theoretic foundations for object-oriented programming (Q4764619) (← links)