Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch a 26-minute conference presentation from POPL 2018 exploring the relationship between parametricity and universal types in programming languages. Examine how researchers Dominique Devriese, Marco Patrignani, and Frank Piessens investigate long-standing questions about dynamically enforcing parametricity in System F through secure compilation. Learn about their discovery of a concrete counterexample that demonstrates why both the Sumii-Pierce compiler and polymorphic blame calculus fail to preserve contextual equivalence in System F. Understand the fundamental role that the absence of a universal type in System F plays in these limitations, and gain insights into the implications for gradually typed languages and future research directions in secure compilation of polymorphic languages.
