Not registered as user yet

Name:Roland Samuelson
Affiliation:Georgia Institute of Technology

Contributions

POPL 2020 Author of Internal Type-Theoretic Complexity Analysis within the Student Research Competition-track