conf.researchr.org / Khurram A. Jafery
Registered user since Tue 8 Nov 2016
Name:Khurram A. Jafery
Affiliation:University of British Columbia
Contributions
| POPL 2021 | Author of Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient within the POPL-track |
| POPL 2017 | Author of Sums of Uncertainty: Refinements go gradual within the POPL-track |