Lazy Linearity for a Core Functional Language (POPL 2026)

Links
1

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 :slight_smile:

23 Likes
2

@aspiwack you might be happy to know :slight_smile:

3

I am happy to know :slightly_smiling_face:.

3 Likes