HKU PL Group

We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis.
The University of Hong Kong

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