T. Uustalu
AuthID: R-006-DH9
11
TITLE: CPS translating inductive and coinductive types
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef12
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
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
DBLP