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