HKU PL Group
People | Courses | Seminars | Theses | Softwares | Media | Blogs | Join Us!

A conjecture on the expressiveness of subtyping recursive types

Yaoda

Tue, Jun 8 2021, 10:00 AM • CB313

HKU PL Group

  • Design based on plwonks
  • Contribute to this site
  • hkuplg

The Programming Languages Group at The University of Hong Kong