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