Lazy Linearity for a Core Functional Language accepted at POPL 2026 Rodrigo Mesquita, Adam Gundry Friday, 28 November 2025
