Skip to content

Safe corecursion in coFJ.

Davide Ancona, Elena Zucca

VenueAECOOP
Year2013
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.