Ankush Das -

Registered user since Wed 18 Jan 2023

Name:Ankush Das

Country:United States

Affiliation:Amazon

Personal website:https://ankushdas.github.io

Twitter:https://twitter.com/Das8Ankush

GitHub:https://github.com/ankushdas

Research interests:Programming Languages

Contributions

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