wiki-linki.ru - поиск статей википедии и связей между ними
Категориальная абстрактная машина
Категориальная абстрактная машина (КАМ) — это модель вычисления программы, в которой сохраняются особенности
аппликативного, функционального либо композиционного стиля.
Она опирается на технику аппликативного вычисления.