Ankush Das

Registered user since Wed 18 Jan 2023

Name:Ankush Das
Country:United States
Affiliation:Amazon
Research interests:Programming Languages

Contributions

POPL 2023 Author of Probabilistic Resource-Aware Session Types within the POPL-track