@inproceedings{DeadCodeElimination,
author = "Xi, Hongwei",
title = {Dead Code Elimination through Dependent Types},
booktitle = "The First International Workshop on Practical Aspects of Declarative Languages",
publisher = "Springer-Verlag LNCS vol. 1551",
year = 1999,
month = "January",
address = "San Antonio",
pages = "228--242"
}