Dead code elimination through dependent types (1999)

by Hongwei Xi
Venue:In International Workshop on Practical Aspects of Declarative Languages (PADL