Imperative objects with dependent types. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015.(2015).
BETTY WG3–Languages: State of the Art Report. Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf.(2014).
Channels as objects in concurrent object-oriented programming. arXiv preprint arXiv:1110.4157.(2011).