Rogardt Heldal Generating More Practical Compilers by Partial Evaluation. 158-163 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#Heldal91