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

Paul Hudak. A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). In LISP and Functional Programming. pages 351-363, 1986.

Abstract

Abstract is missing.