Dependent Types for Class-based Mutable Objects (Artifact)

TitleDependent Types for Class-based Mutable Objects (Artifact)
Publication TypeConference Paper
Year of Publication2018
AuthorsCampos, J., and V. T. Vasconcelos
Conference NameDARTS-Dagstuhl Artifacts Series
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik