typing discipline (P522)
From MaRDI portal
specifies the typing discipline implemented, used, or mandated in a programming language
- type system
- typing
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | typing discipline |
specifies the typing discipline implemented, used, or mandated in a programming language |
|
Data type
Item
