Davide Ancona, Giovanni Lagorio. An idealized coinductive type system for imperative object-oriented programs. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 19-25, 2009.
@inproceedings{AnconaL09-0,
title = {An idealized coinductive type system for imperative object-oriented programs},
author = {Davide Ancona and Giovanni Lagorio},
year = {2009},
researchr = {https://researchr.org/publication/AnconaL09-0},
cites = {0},
citedby = {0},
pages = {19-25},
booktitle = {Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings},
editor = {Alessandra Cherubini and Mario Coppo and Giuseppe Persiano},
}