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