Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations

https://popl23.sigplan.org/details/POPL-2023-popl-research-papers/31/Making-a-Type-Difference-Subtraction-on-Intersection-Types-as-Generalized-Record-Ope

Recursive Subtyping for All

https://popl23.sigplan.org/details/POPL-2023-popl-research-papers/48/Recursive-Subtyping-for-All

Han Xu’s talk will be delivered via zoom:

https://hku.zoom.us/j/95193789255?pwd=RFljaGZoY2M5UDRmZnVpMHVHMDlyZz09

Meeting ID：951 9378 9255 Password：775966