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

Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa

Browse the full PEPM paper archive.