Lazy Linearity for a Core Functional Language (POPL 2026)

I’m very proud to announce that Lazy Linearity for a Core Functional Language , a paper by myself and Bernardo Toninho , will be published at POPL 26 ! [ DOI , ACM ]. The extended version of the paper, which includes all proofs, is available here [ arXiv , PDF , DOI ]. The short-ish story : In 2023, for my Master’s thesis, I reached out to Arnaud Spiwack to discuss how Linear Types had been…