CPS translating inductive and coinductive types.

Gilles Barthe, Tarmo Uustalu

Browse the full PEPM paper archive.