Shrinking lambda Expressions in Linear Time

Andrew W. Appel, Trevor Jim. Shrinking lambda Expressions in Linear Time. Journal of Functional Programming, 7(5):515-540, 1997.

@article{AppelJ97,
  title = {Shrinking lambda Expressions in Linear Time},
  author = {Andrew W. Appel and Trevor Jim},
  year = {1997},
  researchr = {https://researchr.org/publication/AppelJ97},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {7},
  number = {5},
  pages = {515-540},
}