YoVDO

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Programming Languages Courses Semantics Courses Lambda Calculus Courses Type Theory Courses Parametric Polymorphism Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

[PLDI24] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric


Taught by

ACM SIGPLAN

Related Courses

Trends in the JVM - New Projects and Initiatives
Java via YouTube
VM Futures - Trends and Ideas for Java Virtual Machine Evolution
Java via YouTube
Adventures in Parametric Polymorphism - Project Valhalla and Value Types
Java via YouTube
Adventures on the Road to Valhalla - Improving Java Generics - Lecture
Java via YouTube
Functional Programming in Plain Terms
Ruby Central via YouTube