система типов с распределением данных в памяти по областям (в языке распределенного параллельного программирования X10; IBM Alex_Odeychuk)

place-based type system