What are some books or papers that one should read for implementing a 100% R7RS-small compliant Scheme? The interpreter in SICP is just a toy that is missing a huge amount of standard Scheme features such as syntax-rules macros, IO, exception handling, vectors, records, quasiquotation, library system, call/cc, etc. I am okay with toys, but I want 100% standards compliance. How do I learn to implement Scheme? This is for educational purposes only.