Pages that link to "Item:Q1127527"
From MaRDI portal
The following pages link to Bounded existentials and minimal typing (Q1127527):
Displaying 10 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Higher-order subtyping and its decidability (Q598199) (← links)
- Bounded quantification is undecidable (Q1327694) (← links)
- Higher-order subtyping (Q1392282) (← links)
- On the decidability of subtyping with bounded existential types and implementation constraints (Q1758661) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- A minimalistic many-valued theory of types (Q3133165) (← links)
- F-ing modules (Q4983210) (← links)
- Bounded Linear Types in a Resource Semiring (Q5410708) (← links)