About the refcounting approach, you may want to look at the Perceus paper. It's ...

c-cube on March 26, 2021 | parent | context | favorite | on: Julia 1.6 Highlights

About the refcounting approach, you may want to look at the Perceus paper. It's refcounting with dynamic reuse of memory that isn't shared (like a sort of runtime linear typing), and it's used in Koka for functional programming.