Linear type system
Topic history | v1 (current) | created by jjones
Details
Linear type system
see v1 | created by jjones | Add topic "Linear type system"
- Title
- Linear type system
- Description
- Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the system to safely deallocate an object after its use.
- Link
- https://en.wikipedia.org/?curid=14554100
resources
treated in C++ linter based on linear types
authors
This topic has no history of related authors.