On the understanding of subtyping recursive types

In this talk, I will first go over Amadio and Cardelli’s seminal work subtyping recursive types", then discuss about the recent paperrevisiting iso-recursive subtyping”. I will also compare Amber rules in different setting, and give a new explaination to iso-recursive Amber rules. Finally, I will talk about our new algorithmic iso-recursive subtyping rules.

Join Zoom meeting https://hku.zoom.us/j/7528268128?pwd=VkgyYmtCSk5WK3Q5KzQrN3Q4WXBsUT09

Meeting：752 826 8128 Password：20211217