• 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

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
xThu 5 Oct 02:21
using conf.researchr.org (v1.61.3)
Support page
Sign Up