Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
