Joana Campos

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Programming Language

Top Venues

Found. Trends Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Joana Campos, Vasco T. Vasconcelos
Dependent Types for Class-based Mutable Objects (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Joana Campos, Vasco T. Vasconcelos
Dependent Types for Class-based Mutable Objects. ECOOP (2018)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Joana Campos, Vasco T. Vasconcelos
Imperative objects with dependent types. FTfJP@ECOOP (2015)
Joana Campos, Vasco T. Vasconcelos
Channels as Objects in Concurrent Object-Oriented Programming PLACES (2010)