I've yet to implement a metacircular evaluator for Scheme. Seemingly there are two places where this problem is posed: SICP: http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-26.html#%_sec_4.1 TSPL: http://www.scheme.com/tspl3/examples.html#./examples:h7 Are there more? With which one should I begin?