A student has implemented a scheme interpreter in scheme and then in C, and a scheme compiler in scheme.
That student is now interested in implementing a STM (Software Transactional Memory) system into this compiler.
Is there a paper/doco to aid them to do this?