Joana Correia Campos


AuthID: R-001-MPD

Publicações a aguardarem confirmação

1
TITLE: Dependent Types for Class-based Mutable Objects
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: 32nd European Conference on Object-Oriented Programming, ECOOP 2018 in 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, VOLUME: 109
INDEXED IN: Scopus DBLP

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service