Ferruccio Damiani, Paola Giannini. Automatic useless-code elimination for HOT functional programs. Journal of Functional Programming, 10(6):509-559, 2000.
@article{DamianiG00, title = {Automatic useless-code elimination for HOT functional programs}, author = {Ferruccio Damiani and Paola Giannini}, year = {2000}, tags = {functional programming}, researchr = {https://researchr.org/publication/DamianiG00}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {10}, number = {6}, pages = {509-559}, }