YoVDO

Mutually Iso-Recursive Subtyping - OOPSLA 2023

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Programming Languages Courses WebAssembly Courses Object-oriented programming Courses Type Theory Courses

Course Description

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

Related Courses

Introduction à la programmation orientée objet (en Java)
École Polytechnique Fédérale de Lausanne via Coursera
C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera
Introduction to Programming for Musicians and Digital Artists
California Institute of the Arts via Coursera
Beginning Game Programming with C#
University of Colorado System via Coursera
Paradigms of Computer Programming
Université catholique de Louvain via edX