Lazy Linearity for a Core Functional Language (POPL 2026)

5 pointsposted 2 months ago
by todsacerdoti
(alt-romes.github.io)

No comments yet