|
|
|
|
|
|
by c-cube
1909 days ago
|
|
|
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. |
|
|