Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara,

URL	https://link.springer.com/chapter/10.1007/978-3-030-64437-6_6
Book title	Asian Symposium on Programming Languages and Systems (APLAS 2020)

Publication