Lazy Linearity for a Core Functional Language (POPL 2026)
Posted 12 hours ago by
romes
3
points
https://alt-romes.github.io/posts/2025-11-26-lazy-linearity-popl26.html
0
comments