Joana Campos

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Dependent Types for Class-based Mutable Objects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

2015
Imperative objects with dependent types.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2010
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


  Loading...