dependent typing (Q56232424)
Jump to navigation
Jump to search
typing discipline for programming languages
- dependent types
- dependently typed
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | dependent typing |
typing discipline for programming languages |
|