compiler design-code optimization
Simon Peyton Jones (Microsoft Research) Norman Ramsey, John Dias (Tufts University) March 2010.