Garbage Collection Based on a Linear Type System (2000)

by Types, Viewtypes Igarashi, A, N Kobayashi
Venue:In Preliminary Proceedings of the 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC ’00