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 the employees of the same companies on some of his recent work.

[Slides can be found here]