Analysis of functional programs to detect run-time garbage cells (1988)

by Katsuro Inoue, H S, H Yagi
Venue:ACM Trans. Programming Languages Systems