A Formal Development of an Efficient Subercombinator Compiler

Richard S. Bird. A Formal Development of an Efficient Subercombinator Compiler. Science of Computer Programming, 8(2):113-137, 1987.

@article{Bird87,
  title = {A Formal Development of an Efficient Subercombinator Compiler},
  author = {Richard S. Bird},
  year = {1987},
  tags = {compiler},
  researchr = {https://researchr.org/publication/Bird87},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {8},
  number = {2},
  pages = {113-137},
}