Simon Hughes: Compile-Time Garbage Collection for Higher-Order Functional Languages. J. Log. Comput. 2(4): 483-509 (1992)