Pages that link to "Item:Q4855338"
From MaRDI portal
The following pages link to A modest model of records, inheritance, and bounded quantification (Q4855338):
Displaying 5 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)