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.
No references recorded for this publication.
No citations of this publication recorded.