Dependent Types for Class-based Mutable Objects

TitleDependent Types for Class-based Mutable Objects
Publication TypeConference Paper
Year of Publication2018
AuthorsCampos, J., and V. T. Vasconcelos
Conference NameLIPIcs-Leibniz International Proceedings in Informatics
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik