dependent type (Q997433)
data type whose definition depends on a value
Language:
other details
description data type whose definition depends on a value

External Links
(P646) /m/06891z
(P4215) dependent type
(P6366) 20528804
(P10283) C20528804