Automatic useless-code elimination for HOT functional programs

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