Gilles Barthe Bernard P. Serpette Partial Evaluation and Non-inference for Object Calculi. 53-67 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#BartheS99