As part of his secondment at Ixaris in Malta during the first week of February, Hans Huttel gave a talk titled “Typestate Inference for Mungo: Algorithm and Implementation” to
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