TY - RPRT TI - Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming AU - Sebastian Ullrich AU - Leonardo de Moura PY - 2020 UR - https://arxiv.org/abs/1908.05647 ID - 1908.05647 ER -