Constraint Systems for Useless Variable Elimination.

Mitchell Wand, Igor Siveroni

Browse the full POPL paper archive.