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
Citations:2 - 0 self