Artifact 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)
Home Page:https://hkust-taco.github.io/superoop/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool