![Deian Stefan](https://popl20.sigplan.org/getProfileImage/deianstefan/b6f25428-25f0-4003-a586-22755d898c4e/small.jpg?1711492951000)
Registered user since Mon 4 Sep 2017
Name:Deian Stefan
Affiliation:University of California San Diego
Personal website: https://cseweb.ucsd.edu/~dstefan/
Contributions
POPL 2020-profile
View general profile
View general profile
Registered user since Mon 4 Sep 2017
Contributions