hkust-taco/superoop

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)

语言：Scala · GitHub 星标：11 · Fork：1

在 GitHub 上查看原仓库