• Sign in
  • Sign up
conf.researchr.org / Andreia Mordido
  • ECOOP 2022 profile
  • ETAPS 2019 profile
  • ICSE 2024 profile
  • PLDI 2023 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • SPLASH 2023 profile
Andreia Mordido

Registered user since Fri 1 Feb 2019

Name:Andreia Mordido
Country:Portugal
Affiliation:University of Lisbon
Personal website: http://www.di.fc.ul.pt/~amordido/
Research interests:Programming Languages, Type Systems, Subtyping, Logic

Contributions

2024

ICSE

  • Committee Member in Student Volunteers within the Student Volunteers-track
  • Student Volunteer Co-Chair in Organising Committee

POPL

  • Author of Parametric Subtyping for Structural Parametric Polymorphism within the POPL-track

2023

SPLASH

  • Author of Kind Inference for the FreeST Programming Language within the Posters-track

PLDI

  • Author of Parameterized Algebraic Protocols within the PLDI Research Papers-track

2022

ECOOP

  • Committee Member in Program Committee within the Doctoral Symposium-track

WITS

  • Author of Deciding type equivalence with simple grammars within the WITS 2022-track

2019

ETAPS

  • Author of FreeST: context-free session types in a functional language within the Posters-track

PLACES

  • Author of FreeST: context-free session types in a functional language within the PLACES-track

BEAT

  • Author of Checking the Equivalence of Context-Free Session Types within the BEAT 2019-track
Share
xFri 9 May 21:25
using conf.researchr.org (v1.69.0)
Support page
Sign Up