According to our database1, Joana Campos authored at least 5 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Dependent Types for Class-based Mutable Objects (Artifact).
Dependent Types for Class-based Mutable Objects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016
Imperative objects with dependent types.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015
Channels as Objects in Concurrent Object-Oriented Programming
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010