logo Mungo

Mungo related publications

Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon J. Gay. Typechecking Protocols with Mungo and StMungo (Long Version). In PPDP 2016.

Simon J. Gay, Vasco T. Vasconcelos, Antonio Ravara, Nils Gesbert and Alexandre Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. In POPL 2010.

Simon J. Gay, Nils Gesbert, Antonio Ravara and Vasco T. Vasconcelos. Modular Session Types for Objects. In LMCS.