1 paper · 1 filter
C. B. Aberlé
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In re…