Pages that link to "Item:Q2947462"
From MaRDI portal
The following pages link to Parametric Polymorphism — Universally (Q2947462):
Displaying 11 items.
- Core algebra revisited (Q879364) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- A simple proof technique for certain parametricity results (Q2817713) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- Parametric polymorphism and operational equivalence (Q4500171) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (Q5458383) (← links)
- (Q5851864) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)