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

by K Inoue, R Seki, H Yagi
Venue:A CM TOPLAS