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