Partial evaluation of call-by-value -calculus with side-effects (1997)

by K Asai, H Masuhara, A Yonezawa
Venue:ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97