T. Uustalu
AuthID: R-006-DH9
11
TÃTULO: CPS translating inductive and coinductive types
AUTORES: Gilles Barthe; Tarmo Uustalu;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
AUTORES: Gilles Barthe; Tarmo Uustalu;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
INDEXADO EM: DBLP