ETAPS 2019 (series) / Francisco Ferreira
Registered user since Fri 13 Nov 2020
Name:Francisco Ferreira
Affiliation:Imperial College London
Contributions
| BEHAPI 2019 | Adventures in Formalising the Meta-Theory of Session Types | ||||||||||||||||||||||||||||||||||||||||
| PLACES 2019 | Fluid Types: Statically Verified Distributed Protocols with Refinements | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile