Uma Zalakain -

Registered user since Fri 5 Feb 2021

Name:Uma Zalakain

Affiliation:University of Glasgow

Contributions

TyDe 2021	Author of Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) within the TyDe 2021-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track