Type-based useless-code elimination for functional programs - Position paper

In this paper we present a survey of the work on type-based useless-code elimination for higher-order functional programs. After some historical, remarks on the motivations and early approaches we give an informal but complete account of the techniques and results developed at the Computer Science Department of the University of Torino. In particular, we focus on the fact that, for each of the type-based techniques developed, there is an optimal program simplification.