Not registered as user yet

Name:Alison M. Clark
Affiliation:University of British Columbia

Contributions

POPL 2021 Author of Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient within the POPL-track