Registered user since Wed 4 May 2016
Name:Casper Bach Poulsen
Affiliation:Delft University of Technology
Personal website: http://casperbp.net
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