Analysis of Functional Programs to Detect RunTime Garbage Cells (1988)

by K Inoue, H Seki, H Yagi
Venue:ACM TOPLAS