1 paper
Pierre Cagne, Patricia Johann
Relational parametricity was first introduced by Reynolds for System F. Although System F provides a strong model for the type systems at the core of modern functional programming…