Pages that link to "Item:Q4836019"
From MaRDI portal
The following pages link to A system of constructor classes: overloading and implicit higher-order polymorphism (Q4836019):
Displaying 7 items.
- Generic programming in 3D (Q923888) (← links)
- Covariant types (Q1390953) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- Kinded type inference for parametric overloading (Q1911131) (← links)
- Implicit coercions in type systems (Q4647565) (← links)
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)
