ETAPS 2019 (series) / Bernardo Almeida
Registered user since Mon 4 Jan 2021
Name:Bernardo Almeida
Affiliation:Universidade de Lisboa
Contributions
| ETAPS 2019 | FreeST: context-free session types in a functional language | ||||||||||||||||||||||||||||||||||||||||
| PLACES 2019 | FreeST: context-free session types in a functional language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile