Loop Headers in Lambda-Calculus or CPS

Andrew W. Appel. Loop Headers in Lambda-Calculus or CPS. Higher-Order and Symbolic Computation, 7(4):337-343, 1994.

@article{Appel94,
  title = {Loop Headers in Lambda-Calculus or CPS},
  author = {Andrew W. Appel},
  year = {1994},
  researchr = {https://researchr.org/publication/Appel94},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {7},
  number = {4},
  pages = {337-343},
}