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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal publisher: Springer, Cham

Published year: 2020

DOI identifier: 10.1007/978-3-030-64437-6_6