Corecursive featherweight java (2012)

by Davide Ancona, Elena Zucca
Venue:In Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP ’12