Simon B. Jones, Andrew S. Tyas. The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage Collection. In John T. O'Donnell, Kevin Hammond, editors, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, pages 138-144, Springer, 1993. [doi]
Abstract is missing.