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