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