Registered user since Mon 1 Oct 2018
Name: Francisco Martins
Affiliation: LaSIGE, University of Lisbon
Contributions
| BEAT 2019 | Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile