Registered user since Wed 4 May 2016
Contributions
2020
SPLASH
- Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
- Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
- Knowing When to Ask: Artifact
- Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2020-profile
View general profile
View general profile