• Sign in
  • Sign up
conf.researchr.org / Uma Zalakain
  • ECOOP 2022 profile
  • ICFP 2021 profile
  • PLDI 2021 profile
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

Share
xMon 4 Jul 14:01
using conf.researchr.org (v1.56.1)
Support page
Sign Up