CS PhD student working on programming languages.
-
University of Toronto
- https://andongfan.com
Pinned Loading
-
hkust-taco/superf
hkust-taco/superf PublicArtifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)
Scala 15
-
hkust-taco/superoop
hkust-taco/superoop PublicArtifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

