A specifikáció, amely meghatározza, hogyan határozza meg a közös nyelvi futtatókörnyezet, használja, és sikerül típusok.