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

Document Versions

CPS Translating Inductive and Coinductive Types (Extended Abstract) –Gilles Barthe, Tarmo Uustalu — 2002 — In: Proc. of 2002 ACM SIGPLAN Wksh. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'02
CPS Translating Inductive and Coinductive Types (Extended Abstract) –Gilles Barthe, Tarmo Uustalu — 2002 — In: Proc. of 2002 ACM SIGPLAN Wksh. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'02