conf.researchr.org / Vasco T. Vasconcelos

Not registered as user yet

Name: Vasco T. Vasconcelos

Affiliation: University of Lisbon, Portugal

Contributions

POPL 2020Author of Label-Dependent Session Types within the Research Papers-track
PLACES 2019Author of FreeST: context-free session types in a functional language within the PLACES-track
ETAPS 2019Author of FreeST: context-free session types in a functional language within the Posters-track
Programming for the Large 2018Committee Member in Program Committee within the Programming for the Large 2018 (cancelled)-track
ECOOP 2018Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track
SPLASH 2017Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track