A semantic model of reference counting and its abstraction (detailed summary (1986)

by P Hudak
Venue:In Proceedings of the 1986 ACM conference on LISP and functional programming