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
INDEXADO EM: DBLP
Página 2 de 2. Total de resultados: 11.