![Baber Rehman](https://popl24.sigplan.org/getProfileImage/baberrehman1/38771f98-d149-4500-95fe-80b273a254db/small.jpg?1711484744000)
Registered user since Tue 23 Nov 2021
Name:Baber Rehman
Country:China
Affiliation:The University of Hong Kong
Personal website: https://baberrehman.github.io/
X (Twitter): https://x.com/baberehman
Research interests:Type Systems, Programming Languages
Contributions
POPL 2024-profile
View general profile
View general profile