SPLASH 2021 (series) / Anvay Grover
Registered user since Sun 17 Oct 2021
Name:Anvay Grover
Country:United States
Affiliation:University of Wisconsin-Madison
Personal website:https://anvayg.github.io
Research interests:Programming Languages, Formal Methods
Contributions
| SPLASH 2021 | Compiling with Continuations, Correctly | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile