Represent a consumable, single-use object in TypeScript...

How to move an opaque value like a hot potato from one Enum constructor to the next to the next?...

Why doesn't GHC recognize the function as linear?...

Unwrapping an Optional Resource in a post-condition...

Linear types in OCaml...

Why does the type signature of linear array change compared to normal array?...

Lowering of higher order function with linear types...

Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?...

Linear types let binding workaround for recursive function...

Does F* support linear types?...

How should you perform simple read-only string operations against linear-typed strings?...

How can linear types prevent such implementation of "duplicate"?...

What's the intention behind Idris' `BorrowedType`?...

Is there a way to emulate linear types in Haskell?...

Linear types in hacklang: Statically forcing an order of function calls...

Uniqueness Types Instead STM...

How to represent linear types in C#/.Net?...