The following pages link to (Q3204024):
Displaying 18 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Recursive types for Fun (Q1176245) (← links)
- Type inference with partial types (Q1318726) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- The inheritance of PN-COOPN (Q4245984) (← links)
- Toward a semantics for the QUEST language (Q4365022) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- Subtyping + extensionality: Confluence of βηtop reduction in F≤ (Q5096246) (← links)
- Operations on records (Q5887510) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)
- An exper model for Quest (Q6116585) (← links)