Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.

Kenichi Asai Hidehiko Masuhara Akinori Yonezawa Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. 12-21 1997 PEPM db/conf/pepm/pepm97.html#AsaiMY97 http://doi.acm.org/10.1145/258993.258997