Inductive data type

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

Inductive data type may refer to:

Algebraic data type, a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype
Inductive family, a family of inductive data types indexed by another type or value
Recursive data type, a data type for values that may contain other values of the same type

See also

Template:Disambiguation page short description <templatestyles src="Dmbox/styles.css" />

Disambiguation icon

This disambiguation page lists Script error: No such module "String". Script error: No such module "Namespace detect". associated with the title Template:PAGENAMEBASE.
If an internal link led you here, you may wish to change the link to point directly to the intended article.

__DISAMBIG__Script error: No such module "Category handler".

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Inductive_data_type&oldid=2380307"