The following pages link to Positive subtyping (Q1917089):
Displaying 5 items.
- System ST toward a type system for extraction and proofs of programs (Q1400600) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Verified software units (Q2233451) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
