The following pages link to Formal parametric polymorphism (Q1314344):
Displaying 22 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Structural polymorphism (Q685400) (← links)
- Core algebra revisited (Q879364) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- A trace semantics for System F parametric polymorphism (Q1652964) (← 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)
- A simple proof technique for certain parametricity results (Q2817713) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Curry-style type isomorphisms and game semantics (Q3520148) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Parametric and type-dependent polymorphism (Q4327831) (← links)
- Parametric polymorphism and operational equivalence (Q4500171) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)
- A logical aspect of parametric polymorphism (Q6560174) (← links)
