Is Scheme Faster than C?
cs.indiana.edu
cs.indiana.edu
The approach of converting scheme code into C (and possibly assembly) via series of correctness preserving transforms is explained in great detail in Friedman and Wand's "Essentials Of Programming Languages".
Get the first edition if you can. It is more comprehensive then the second edition. The third edition should be out in a few weeks so you may want to wait for that, if you plan to buy book.