The following pages link to (Q4855337):
Displaying 5 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q5096382) (← links)
- (Q5699551) (← links)