Questions tagged [substructural-types]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9 votes
1 answer

Why does ATTAPL's linear product introduction rule not delete the objects from the context?

In Chapter 1 of Advanced Topics in Types and Programming Languages, the following rule is presented for the introduction of a product in a linear/unrestricted type system: ($\circ$ is context ...
blueberry's user avatar
  • 2,315
11 votes
2 answers

How do linear types interact with features that may change the normal control flow?

Linear types are quite a powerful feature of type systems that ensure that "linear values" are used exactly once. For example, ...
Luiz Felipe's user avatar