Login
From:
SIGPLAN Blog
(Uncensored)
subscribe
Soundly Handling Linearity | SIGPLAN Blog
https://blog.sigplan.org/2024/08/12/soundly-handling-linearity/
links
backlinks
Tagged with:
control flow linearity
effect handlers
linear types
type-and-effect systems
Programming languages can statically ensure that certain resources are used exactly once through a linear type system based on Girard’s linear logic. Typical linear type systems track the num…
Roast topics
Find topics
Find it!
