Adam Fischbach, John Hannan. Type Systems for Useless-Variable Elimination. In Olivier Danvy, Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Volume 2053 of Lecture Notes in Computer Science, pages 25-38, Springer, 2001. [doi]
@inproceedings{FischbachH01,
title = {Type Systems for Useless-Variable Elimination},
author = {Adam Fischbach and John Hannan},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2053/20530025.htm},
tags = {type system},
researchr = {https://researchr.org/publication/FischbachH01},
cites = {0},
citedby = {0},
pages = {25-38},
booktitle = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings},
editor = {Olivier Danvy and Andrzej Filinski},
volume = {2053},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42068-1},
}