A.: Partial Evaluation of Call-by-value lambdacalculus with Side-effects (1997)

by K Asai, H Masuhara, Yonezawa
Venue:In Partial Evaluation and Semantics-Based Program Manipulation (PEPM’97), SIGPLAN Notices