Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Mutually Iso-Recursive Subtyping - OOPSLA 2023

ACM SIGPLAN via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a foundational core calculus of iso-recursive types with declared subtyping in this conference talk from OOPSLA2 2023. Delve into the challenges of expressing mutual recursion and non-uniform recursion efficiently with iso-recursive types, particularly when combined with subtyping. Learn how the presented calculus overcomes limitations of the classic "Amber" rule, allowing for both inter- and intra-recursion subtyping without quadratic size encodings. Discover a syntactic fragment of the calculus that enables more efficient type checking without deep substitutions, resembling nominal subtype systems without requiring nominal semantics. Understand the potential applications of this approach, including its use as a basis for extending WebAssembly with recursive types. Gain insights into type systems, recursive types, subtyping, and higher-order subtyping from independent researcher Andreas Rossberg's presentation.

Syllabus

[OOPSLA23] Mutually Iso-Recursive Subtyping

Taught by

ACM SIGPLAN

Reviews

Start your review of Mutually Iso-Recursive Subtyping - OOPSLA 2023

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.