T.: CPS translating inductive and coinductive types (extended abstract (2002)

by G Barthe, Uustalu
Venue:In: Proc. of 2002 ACM SIGPLAN Wksh. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'02