Compile-time garbage collection for higher-order functional languages (1992)

by S Hughes
Venue:Journal of Logic and Computation