A Semantic Model of Reference Counting and its Abstraction (Detailed Summary (1986)

by Paul Hudak
Venue:In Proceedings of the ACM Conference on LISP and Functional Programming