11
TITLE: CPS translating inductive and coinductive types
AUTHORS: Gilles Barthe; Tarmo Uustalu;
PUBLISHED: 2002, SOURCE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
INDEXED IN: DBLP
Page 2 of 2. Total results: 11.