APLAS 2020 (series) / Adrian Francalanza
Registered user since Fri 10 Feb 2017
Name: Adrian Francalanza
Country: Malta
Affiliation: University of Malta
Personal website: http://staff.um.edu.mt/afra1/
Research interests: Concurrency, Type Systems, Runtime Verification, Process Calculi, Behavioural Equivalences
Contributions
| APLAS 2020 | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2020-profile
View general profile
View general profile