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
Explore a groundbreaking 18-minute conference talk from PLDI 2024 that delves into the space-efficiency problem of gradual typing with parametric polymorphism. Learn how researchers from Kyoto University, National Institute of Informatics, and Tokyo Institute of Technology propose a solution by slightly relaxing parametricity. Discover the development of λCmp, a coercion calculus with mostly parametric polymorphism, and its space-efficient counterpart λSmp. Gain insights into the proof of space-efficient execution for λSmp programs and the type- and semantics-preserving translation from λCmp to λSmp. Understand the implications of this research for efficient implementations of gradual typing in programming languages.
