Substructural type system
Topic history | v1 (current) | created by jjones
Details
Substructural type system
see v1 | created by jjones | Add topic "Linear type system"
- Title
- 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.
- Link
- https://en.wikipedia.org/?curid=14554100
resources
authors
This topic has no history of related authors.