The following pages link to Formal parametric polymorphism (Q1314344):
Displaying 11 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Core algebra revisited (Q879364) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- The Girard-Reynolds isomorphism (Q1887154) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Curry-style type isomorphisms and game semantics (Q3520148) (← links)
- A logical aspect of parametric polymorphism (Q6560174) (← links)
