CPS Translating Inductive and Coinductive Types (Extended Abstract) (2002)

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