Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Uma Zalakain
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2021 profile
PLDI 2021 profile
Registered user since Fri 5 Feb 2021
Name:
Uma Zalakain
Affiliation:
University of Glasgow
Contributions
2021
TyDe
Author of Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) within the TyDe 2021-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Share
x
Sat 21 Dec 19:34