Joana Campos

According to our database, Joana Campos authored at least 5 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Dependent Types for Class-based Mutable Objects (Artifact).

Joana Campos, Vasco T. Vasconcelos

Dagstuhl Artifacts Ser., 2018

Dependent Types for Class-based Mutable Objects.

Joana Campos, Vasco T. Vasconcelos

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

Behavioral Types in Programming Languages.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 2016

2015

Imperative objects with dependent types.

Joana Campos, Vasco T. Vasconcelos

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2010

Channels as Objects in Concurrent Object-Oriented Programming

Joana Campos, Vasco T. Vasconcelos

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010