I. Golovanov
AuthID: R-00J-R8V
1
TITLE: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
AUTHORS: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLISHED: 2020, SOURCE: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12470 LNCS
AUTHORS: Bravetti, M; Francalanza, A; Golovanov, I; Hüttel, H; Jakobsen, MS; Kettunen, MK; Ravara, A;
PUBLISHED: 2020, SOURCE: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12470 LNCS
INDEXED IN: 
Scopus
Scopus