linear type system

Из Википедии, свободной энциклопедии