Type-Based Useless-Code Elimination for Functional Programs

@inproceedings{Berardi2000TypeBasedUE,
  title={Type-Based Useless-Code Elimination for Functional Programs},
  author={Stefano Berardi and Mario Coppo and Ferruccio Damiani and Paola Giannini},
  booktitle={SAIG},
  year={2000}
}