Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vineet Rajani
conf.researchr.org general profile
POPL 2019 profile
POPL 2021 profile
Registered user since Sun 8 Nov 2020
Name:
Vineet Rajani
Country:
Germany
Affiliation:
MPI-SP
Personal website:
https://vineetrajani.github.io
Contributions
2021
POPL
Author of A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis within the POPL-track
2019
POPL
Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track
Share
x
Tue 3 Dec 17:53
