Substructural type system
Description
Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.
Relations
Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the...
In programming languages, a type system is a logical system comprising a set of rules that assigns a...
Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources
treated in Linear or Affine Types? : ProgrammingLanguages
Statically managed memory using linear types in a functional language: yay or nay?