BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Imperative objects with dependent types

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

Date of Publication
2015

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15

Publication Identifiers

Address
Prague, Czech Republic

Publisher
ACM Press

Document Identifiers
DOI - https://doi.org/10.1145/2786536.2786538
URL - http://dx.doi.org/10.1145/2786536.2786538

Rankings
CORE A (2020) -


Export

APA
Joana Campos, Vasco T. Vasconcelos, (2015). Imperative objects with dependent types. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15, -

IEEE
Joana Campos, Vasco T. Vasconcelos, "Imperative objects with dependent types" in Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15, Prague, Czech Republic, 2015, pp. -, doi: 10.1145/2786536.2786538

BIBTEX
@InProceedings{50993, author = {Joana Campos and Vasco T. Vasconcelos}, title = {Imperative objects with dependent types}, booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15}, year = 2015, pages = {-}, address = {Prague, Czech Republic}, publisher = {ACM Press} }