Imperative objects with dependent types

TitleImperative objects with dependent types
Publication TypeConference Paper
Year of Publication2015
AuthorsCampos, J., and V. T. Vasconcelos
Conference NameProceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015
URLhttp://doi.acm.org/10.1145/2786536.2786538
DOI10.1145/2786536.2786538