BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
PhD thesis

Title
Adding Dependent Types to Class-based Mutable Objects

Participants in the publication
Joana Correia Campos (Author)
Vasco Manuel Thudichum de Serpa Vasconcelos (Adviser)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

Date of Publication
2018-01-24

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
HANDLE - 10451/34562
TID - 101406169
URL - http://hdl.handle.net/10451/34562

Keywords
Tipos dependentes programação orientada a objetos sistemas de tipos objetos mutáveis


Export

APA
Joana Correia Campos, (2018). Adding Dependent Types to Class-based Mutable Objects. http://hdl.handle.net/10451/34562 Vasco Manuel Thudichum de Serpa Vasconcelos,

IEEE
Joana Correia Campos, "Adding Dependent Types to Class-based Mutable Objects", 2018.

BIBTEX
@PhdThesis{42984, author = {Joana Correia Campos}, title = {Adding Dependent Types to Class-based Mutable Objects}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2018}, OPTtype = {Documentos Académicos}, OPTmonth = {Jan} }