Towards a model of corecursion with default.

Davide Ancona, Francesco Dagnino, Elena Zucca

Browse the full ECOOP paper archive.