The following pages link to (Q3332229):
Displayed 23 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Generator induction in order sorted algebras (Q749219) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Semantics of types for database objects (Q915443) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Pebble, a kernel language for modules and abstract data types (Q1104071) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Unification theory (Q1124375) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Subtyping can have a simple semantics (Q1177151) (← links)
- The data model of FAD, a database programming language (Q1186359) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Coherence and consistency in domains (Q1262787) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Denotational semantics of a simple model of Eiffel (Q1894321) (← links)
- Multiple inheritance in the class automaton model (Q3833642) (← links)
- Subtyping constrained types (Q5030204) (← links)
- Higher-order order-sorted algebras (Q5096189) (← links)
- A record calculus with principal types (Q5096310) (← links)
- A calculus with recursive types, record concatenation and subtyping (Q6176573) (← links)