Pages that link to "Item:Q700974"
From MaRDI portal
The following pages link to Polytypic values possess polykinded types (Q700974):
Displaying 7 items.
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
