« Home

Person. Litao Zhou [litaozhou]

  • PhD Student
  • University of Hong Kong
  • 0000-0003-3046-7085
  • https://ltzhou.com

Related

    Institution. University of Hong Kong [hku]

    • Hong Kong
    • https://www.hku.hk

    Contributions

      Reference. QuickSub: Efficient Iso-Recursive Subtyping [zhou-oliveira-2025]

      • Litao Zhou, Bruno C. d. S. Oliveira
      • POPL ’25: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages
      • 10.1145/3704869