Katsuro Inoue and Hikaru Yagi. Analysis of functional programs to detect runtime garbage cells (1988)

by Hiroyuki Seki
Venue:ACM Transactions on Programming Languages and Systems