@misc{indiciaef64899be8cff,
  title = {Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language},
  author = {Mario Bravetti and Adrian Francalanza and Iaroslav Golovanov and Hans Hüttel and Mathias Steen Jakobsen and Mikkel Klinke Kettunen and António Ravara},
  year = {2020},
  url = {https://arxiv.org/abs/2002.12793},
  note = {Source identifier: 2002.12793}
}