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