Short cut fusion: Proved and improved (2001)

by P Johann
Venue:Pages 47–71 of: Semantics, Applications, and Implementation of Program Generation