On December 19, as part of a workshop in Glasgow of the ABCD project, António Ravara gave a talk on Behavioural Types for Memory Safety in Mungo. Abstract We present a
On December 19, as part of a workshop in Glasgow of the ABCD project, António Ravara gave a talk on Behavioural Types for Memory Safety in Mungo. Abstract We present a