Recent searches
Search options
Linear types quickly run into trouble with “interesting” control flow, such as POSIX `fork`. Learn how to soundly combine linearity and effect handlers in this recap of a POPL distinguished paper. https://blog.sigplan.org/2024/08/12/soundly-handling-linearity/
SIGPLAN Blog · Soundly Handling LinearityProgramming 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…