Uma Zalakain -

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