Login / Signup

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

Mario BravettiAdrian FrancalanzaIaroslav GolovanovHans HüttelMathias JakobsenMikkel KettunenAntónio Ravara
Published in: APLAS (2020)
Keyphrases