> PS. Are there any (short) papers I could read about the type of GC MLton > implements? It would help if I understood how the code I was modifying > worked 'in the large'. I added http://mlton.org/GarbageCollection. It includes a link to http://mlton.org.localhost/References#Sansom91 which is the best paper to read to understand MLton's GC.