Joana Campos

According to our database, Joana Campos authored at least 6 papers between 2010 and 2024.

Collaborative distances:

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

2024

Looking For Cognitive Bias In AI-Assisted Decision-Making.

Regina de Brito Duarre, Joana Campos

Proceedings of the Workshops at the Third International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2024), 2024

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