BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Dependent Types for Class-based Mutable Objects

Participants in the publication
Joana Campos (Author)
Vasco T. Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

Scope
International

Refereeing
Yes

Date of Publication
2018-01-1

Event
32nd European Conference on Object-Oriented Programming (ECOOP 2018)

Publication Identifiers

Publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Volume
109

Number of pages
28

Rankings
CORE A (2018) -


Export

APA
Joana Campos, Vasco T. Vasconcelos, (2018). Dependent Types for Class-based Mutable Objects. 32nd European Conference on Object-Oriented Programming (ECOOP 2018), -

IEEE
Joana Campos, Vasco T. Vasconcelos, "Dependent Types for Class-based Mutable Objects" in 32nd European Conference on Object-Oriented Programming (ECOOP 2018), , 2018, pp. -, doi:

BIBTEX
@InProceedings{41856, author = {Joana Campos and Vasco T. Vasconcelos}, title = {Dependent Types for Class-based Mutable Objects}, booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)}, year = 2018, pages = {-}, address = {}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik} }