CPS translating inductive and coinductive types (2002)

by G Barthe, T Uustalu
Venue:In Proc. Partial Evaluation and Semantics-Based Program Manipulation