@inproceedings{ECOOP-2014-AnconaC,
author = "Davide Ancona and Andrea Corradi",
booktitle = "{Proceedings of the 28th European Conference on Object-Oriented Programming}",
doi = "10.1007/978-3-662-44202-9_12",
editor = "Richard Jones",
isbn = "978-3-662-44201-2",
pages = "282--307",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages}",
volume = 8586,
year = 2014,
}
Tags: