# Lazy Linearity for a Core Functional Language (POPL 2026)

**URL:** <https://discourse.haskell.org/t/lazy-linearity-for-a-core-functional-language-popl-2026/13328>\
**Category:** Links\
**Created:** [November 27, 2025, 10:02am UTC](https://discourse.haskell.org/t/lazy-linearity-for-a-core-functional-language-popl-2026/13328 "2025-11-27T10:02:06Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![romes](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/romes/32/2912_2.png) [@romes](https://discourse.haskell.org/u/romes)\
**Post date:** [November 27, 2025, 10:02am UTC](https://discourse.haskell.org/t/lazy-linearity-for-a-core-functional-language-popl-2026/13328/1 "2025-11-27T10:02:07Z")

</div>

> **[Lazy Linearity for a Core Functional Language (POPL 2026)](https://alt-romes.github.io/posts/2025-11-26-lazy-linearity-popl26.html)**
>
> A brief announcement about my first paper published to the POPL conference

Sharing my announcement about “Lazy Linearity for a Core Functional Language”, on a theory for Linear Types in GHC Core, which will be published in POPL26! Happy to discuss 🙂

---

<div class="post-metadata">

**Author:** ![romes](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/romes/32/2912_2.png) [@romes](https://discourse.haskell.org/u/romes)\
**Post date:** [November 27, 2025, 1:25pm UTC](https://discourse.haskell.org/t/lazy-linearity-for-a-core-functional-language-popl-2026/13328/2 "2025-11-27T13:25:44Z")

</div>

@aspiwack you might be happy to know 🙂

---

<div class="post-metadata">

**Author:** ![aspiwack](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/aspiwack/32/2240_2.png) [@aspiwack](https://discourse.haskell.org/u/aspiwack)\
**Post date:** [November 27, 2025, 10:29pm UTC](https://discourse.haskell.org/t/lazy-linearity-for-a-core-functional-language-popl-2026/13328/3 "2025-11-27T22:29:16Z")

</div>

I am happy to know 🙂.