type constructor
(Q7860899)
feature of a typed formal language that builds new types from old ones
feature of a typed formal language that builds new types from old ones
Language:
Current Data About
type constructor
other details
| aliases |
type operator |
| description | feature of a typed formal language that builds new types from old ones |
External Links
| (P646) |
/m/07k6_jy
|
| (P6366) |
136162851
|