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