Joana Campos

Campos, J., & Vasconcelos V. T. (2015).  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.
Ancona, D., Bono V., Bravetti M., Campos J., Deniélou P-M., Gesbert N., et al. (2014).  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.
Campos, J., & Vasconcelos V. T. (2011).  Channels as objects in concurrent object-oriented programming. arXiv preprint arXiv:1110.4157.