Laurent Hascoët Partial Evaluation with Inference Rules. 187-209 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#Hascoet88