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

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