accepted paper出了，社恐人的第一次conference：https://2023.splashcon.org/details/splash-2023-SRC/8/Partial-Gradual-Dependent-Type-Theory
2023.splashcon.org
Partial Gradual Dependent Type Theory (SPLASH 2023 - Student Research Competition) - SPLASH 2023
The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers…
👏16