Dead code elimination through dependent types (1998)

by H Xi
Venue:In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL ’99