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

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen, Antnio Ravara

Browse the full APLAS paper archive.