type species | type | Type (biology) | Diabetes mellitus type 1 | Type O Negative | Diabetes mellitus type 2 | Volkswagen Type 2 | Type I and type II errors | Type 56 assault rifle | type (biology) | Type 38 | Bugatti Type 57 | Type II supernova | Type Directors Club | Type 38 rifle | type genus | Type 59 | Type 45 destroyer | Jaguar S-Type | Handley Page Type O | Geranylgeranyltransferase type 1 | Blood type | Word (data type) | urban-type settlement | Type species | Type O' Negative | Type 21 frigate | Type 212 submarine | Personality type | Glycogen storage disease type II |
a rich type algebra, with recursive types and arbitrary boolean combinations (union, intersection, complement) allows precise definitions of data structures and XML types; general purpose types and types constructors are taken seriously (products, extensible records, arbitrary precision integers with interval constraints, Unicode characters);