Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bernardo Almeida
conf.researchr.org general profile
ECOOP 2022 profile
ETAPS 2019 profile
POPL 2022 profile
POPL 2026 profile
SPLASH 2023 profile
Registered user since Mon 4 Jan 2021
Name:
Bernardo Almeida
Affiliation:
LASIGE, Faculty of Sciences, University of Lisbon
Contributions
2026
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
SPLASH
Author of Kind Inference for the FreeST Programming Language within the Posters-track
2022
ECOOP
Author of Elevator Pitches within the Doctoral Symposium-track
Author of Context-free Session Types: Theory and Practice 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
Share
x
Wed 29 Oct 20:26