Hongwei Xi. Dead Code Elimination through Dependent Types. In Gopal Gupta, editor, Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Volume 1551 of Lecture Notes in Computer Science, pages 228-242, Springer, 1999. [doi]
Abstract is missing.