Open access
Aug 2026
LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Functional programming languages support non-destructive updates via structural sharing, creating a funda-mental tradeoff in memory representation: pointer-based heaps preserve sharing but degrade layout locality, while serialized heaps prioritize locality at the cost of duplication. Gibbon addresses this tradeoff by u...
Mike Rainey, M. Borkowski, Michael Vollmer et al.
· Proc. ACM Program. Lang. · 0 citations