Substructural type system


Topic | v1 | created by jjones |
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

contains Linear type system

Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the...

is Type system

In programming languages, a type system is a logical system comprising a set of rules that assigns a...


Edit topic New topic

Resources

No beginner resources matching your criteria have been registered, yet.

No intermediate resources matching your criteria have been registered, yet.

No advanced resources matching your criteria have been registered, yet.

is treated in Linear or Affine Types? : ProgrammingLanguages

Statically managed memory using linear types in a functional language: yay or nay?