Pages that link to "Item:Q3564921"
From MaRDI portal
The following pages link to Parametricity, type equality, and higher-order polymorphism (Q3564921):
Displaying 7 items.
- Proofs for free. Parametricity for dependent types (Q2844694) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- A Reflection on Types (Q3188294) (← links)
- (Q4495068) (← links)
- Parametric polymorphism and operational equivalence (Q4500171) (← links)
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (Q5458383) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)