Partial Evaluation of Call-by-value lambda-calculus with Side-effects (0)

Cached

Download Links

by Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa
Venue:ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97
Citations:5 - 5 self

Document Versions

Partial Evaluation of Call-by-value lambda-calculus with Side-effects –Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa — ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97
Partial Evaluation of Call-by-value lambda-calculus with Side-effects –Kenichi Asai, Kenichi Asai, Hidehiko Masuhara, Hidehiko Masuhara, Akinori Yonezawa, Akinori Yonezawa — 1996