Inference based analyses of functional programs: dead-code and strictness
Mario Coppo, Ferruccio Damiani, Paola Giannini · MSJ memoirs · 1998
We present a simple framework for "non-standard type inference based" analyses of functional programs and show how to apply it to dead-code and strictness analyses. A key feature of this framework is that is based directly on operational semantics.