Safe corecursion in coFJ
Davide Ancona, Elena Zucca · 2013
In previous work we have presented coFJ, an extension to Featherweight Java that promotes coinductive programming, a sub-paradigm expressly devised to ease high-level programming and reasoning with cyclic data structures.