linear typing (Q72735794)
Jump to navigation
Jump to search
type discipline where every variable is used exactly once
- linear type systems
- linear
- linear typing system
- linearly typed
Language | Label | Description | Also known as |
---|---|---|---|
English | linear typing |
type discipline where every variable is used exactly once |
|