Partial Evaluation and Non-interference for Object Calculi.

Published in: Fuji International Symposium on Functional and Logic Programming (1999)