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

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