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