Oopsla23 Mutually Iso Recursive Subtyping - Latest Information & Updates 2026

Mutually Iso

The talk is about the OOPSLA paper Revisiting

We start by introducing a novel declarative specification that we believe captures the “spirit” of Amber-style

Structural

We also extend our results to

QuickSub: Efficient

In $F_{\le}^{\mu}$ we add

We build on recent developments on the theory of

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Profunctorial data schemes, ...

Explainable Program Synthesis by Localizing Specifications (Video, OOPSLA2 2023) Amirmohammad Nazari, Yifei Huang, ...

This is the long presentation for the POPL 2021 paper On the Semantic Expressiveness of

Parametric

Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...