Lazy Linearity for a Core Functional Language (POPL 2026) Nov 26, 2025 #linear-types#laziness A brief announcement about my first paper published to the POPL conference