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