6 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Patricia Johann, Kristina Sojakova
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map relate…