@inproceedings{Mill91,
  title = {Pruning Operators for Partial Evaluation},
  author = {P. M. Mill},
  year = {1991},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/Mill91},
  cites = {0},
  citedby = {0},
  pages = {183-204},
  booktitle = {LOPSTR},
}