Lazy Linearity for a Core Functional Language (POPL 2026) alt-romes.github.io 1 points by romes 7 hours ago