Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Khurram A. Jafery
conf.researchr.org general profile
POPL 2017 profile
POPL 2021 profile
Registered user since Tue 8 Nov 2016
Name:
Khurram A. Jafery
Affiliation:
University of British Columbia
Contributions
2021
POPL
Author of Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient within the POPL-track
2017
POPL
Author of Sums of Uncertainty: Refinements go gradual within the POPL-track
Share
x
Thu 10 Oct 18:46