![Deian Stefan](https://popl19.sigplan.org/getProfileImage/deianstefan/84b39c7d-e05e-4214-b274-53fb41a48840/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
2019
POPL
POPL 2019-profile
View general profile
View general profile
Registered user since Mon 4 Sep 2017
Contributions