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}, }