Functional sorts in data type specifications (Q5055916)
From MaRDI portal
scientific article; zbMATH DE number 7631353
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional sorts in data type specifications |
scientific article; zbMATH DE number 7631353 |
Statements
Functional sorts in data type specifications (English)
0 references
9 December 2022
0 references
