Tag-Free Garbage Collection Using Explicit Type Parameters.

Andrew P. Tolmach Tag-Free Garbage Collection Using Explicit Type Parameters. 1-11 1994 LISP and Functional Programming http://doi.acm.org/10.1145/182409.182411 db/conf/lfp/lfp1994.html#Tolmach94