Oopsla24 Full Iso Recursive Types

Summary

Hi, this is Yaoda. The talk is about the OOPSLA paper Revisiting We present a foundational core calculus of Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ... Three easy examples looking at all the ways we can write In this paper we present a calculus that combines \emph{ The Amber rules are well-known and widely used for subtyping This paper presents an extension of $\textrm{kernel}~F_{\le}$, called $F_{\le}^{\mu}$, with This is the long presentation for the POPL 2021 paper On the Semantic Expressiveness of