Type Systems for Useless-Variable Elimination

Adam Fischbach, John Hannan. Type Systems for Useless-Variable Elimination. In Olivier Danvy, Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Volume 2053 of Lecture Notes in Computer Science, pages 25-38, Springer, 2001. [doi]

Abstract

Abstract is missing.