BibTeX records: Joana Campos 0002

download as .bib file

@article{DBLP:journals/darts/CamposV18,
  author    = {Joana Campos and
               Vasco T. Vasconcelos},
  title     = {Dependent Types for Class-based Mutable Objects (Artifact)},
  journal   = {Dagstuhl Artifacts Ser.},
  volume    = {4},
  number    = {3},
  pages     = {01:1--01:2},
  year      = {2018},
  url       = {https://doi.org/10.4230/DARTS.4.3.1},
  doi       = {10.4230/DARTS.4.3.1},
  timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/darts/CamposV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/0002V18,
  author    = {Joana Campos and
               Vasco T. Vasconcelos},
  editor    = {Todd D. Millstein},
  title     = {Dependent Types for Class-based Mutable Objects},
  booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
               July 16-21, 2018, Amsterdam, The Netherlands},
  series    = {LIPIcs},
  volume    = {109},
  pages     = {13:1--13:28},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.13},
  doi       = {10.4230/LIPIcs.ECOOP.2018.13},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/0002V18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
  author    = {Davide Ancona and
               Viviana Bono and
               Mario Bravetti and
               Joana Campos and
               Giuseppe Castagna and
               Pierre{-}Malo Deni{\'{e}}lou and
               Simon J. Gay and
               Nils Gesbert and
               Elena Giachino and
               Raymond Hu and
               Einar Broch Johnsen and
               Francisco Martins and
               Viviana Mascardi and
               Fabrizio Montesi and
               Rumyana Neykova and
               Nicholas Ng and
               Luca Padovani and
               Vasco T. Vasconcelos and
               Nobuko Yoshida},
  title     = {Behavioral Types in Programming Languages},
  journal   = {Found. Trends Program. Lang.},
  volume    = {3},
  number    = {2-3},
  pages     = {95--230},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000031},
  doi       = {10.1561/2500000031},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CamposV15,
  author    = {Joana Campos and
               Vasco T. Vasconcelos},
  editor    = {Rosemary Monahan},
  title     = {Imperative objects with dependent types},
  booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  pages     = {2:1--2:6},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786536.2786538},
  doi       = {10.1145/2786536.2786538},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/CamposV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-4157,
  author    = {Joana Campos and
               Vasco T. Vasconcelos},
  editor    = {Kohei Honda and
               Alan Mycroft},
  title     = {Channels as Objects in Concurrent Object-Oriented Programming},
  booktitle = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
               and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
               21st March 2010},
  series    = {{EPTCS}},
  volume    = {69},
  pages     = {12--28},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.69.2},
  doi       = {10.4204/EPTCS.69.2},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1110-4157.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics