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

von Bravetti, Mario
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)