The exact garbage collection was implemented by Matthew Seidl during his summer internship supervised by Mario Wolczko.
We want to thank Malcolm Atkinson, Mario Wolczko, Mick Jordan and Grzegorz Czajkowski for their many helpful suggestions to improve this document.