
Registered user since Sun 8 Nov 2020
Name: Vineet Rajani
Country: Germany
Affiliation: MPI-SP
Personal website: https://vineetrajani.github.io
Contributions
POPL 2021 | A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile