Manfred Schmidt-Schauß, David Sabel. Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations. Science of Computer Programming, 147:3-26, 2017. [doi]
@article{Schmidt-Schauss17, title = {Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations}, author = {Manfred Schmidt-Schauß and David Sabel}, year = {2017}, doi = {10.1016/j.scico.2017.01.001}, url = {https://doi.org/10.1016/j.scico.2017.01.001}, researchr = {https://researchr.org/publication/Schmidt-Schauss17}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {147}, pages = {3-26}, }