CPS translating inductive and coinductive types (2002)

by G BARTHE, T UUSTALU
Venue:In PEPM