Practice talk for SPLASH 2022
Yaoda
Abstract
A Calculus with Recursive Types, Record Concatenation and Subtyping (APLAS 2022)
https://conf.researchr.org/details/aplas-2022/aplas-2022-papers/11/A-Calculus-with-Recursive-Types-Record-Concatenation-and-Subtyping
Revisiting Iso-Recursive Subtyping (COVID Time Paper)
https://2022.splashcon.org/details/splash-2022-sigplan-papers/24/Revisiting-Iso-Recursive-Subtyping