typing discipline (Q122624423)
Jump to navigation
Jump to search
category of type systems based on fundamental properties and behavior
- type system paradigm
- typing paradigm
- type discipline
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | typing discipline |
category of type systems based on fundamental properties and behavior |
|