Write a Blog >>

Not registered as user yet

Name:Vasco T. Vasconcelos
Affiliation:University of Lisbon, Portugal

Contributions

POPL 2020 Label-Dependent Session Types
Show activities from other conferences

POPL 2020-profile
View general profile