>どうやって読み込んだS式を効率良い形に変換し，マシンコードへ変換するか

これは俺も知りたい。多分、論文嫁って事になると思うけど。
ま、最初は↓こんなところを見ながら当りを付けて行くのが
良いかと。

http://www.federated.com/~jim/schintro-v14/schintro_toc.html
http://www.is.s.u-tokyo.ac.jp/~vu/97/jugyo/processor/compilerresume/

アセンブラは gcc が吐いたのを読むのが王道かと。
教材は、x86 なら↓これがお勧め。

http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=4-274-13207-2

Scheme で ASM なら↓こんなのがある。これも x86 だね。

http://home.earthlink.net/~krautj/sassy/sassy.html

あと、ここは Common Lisp スレだから、Scheme な話題なら
↓こっちに行った方が良いと思うよ。

Common Lisp, Scheme Part 14
http://pc8.2ch.net/test/read.cgi/tech/1132275726/