Registered user since Fri 10 Apr 2020
Name:Baber Rehman
Country:Hong Kong SAR China
Affiliation:University of Hong Kong
Personal website: https://baberrehman.github.io/
X (Twitter): https://x.com/baberehman
GitHub: https://github.com/baberrehman
Research interests:Programming Languages, Type Systems
Contributions
POPL 2025-profile
View general profile
View general profile