Registered user since Mon 22 Apr 2019
Name:Elias Benussi
Affiliation:Imperial College London
Contributions
| BEAT 2019 | Effpi: Concurrent Programming with Dependent Behavioural Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile