Lazy Linearity for a Core Functional Language (POPL 2026)

4 pointsposted 9 hours ago
by todsacerdoti
(alt-romes.github.io)

No comments yet