Каковы основные формализации ленивых вычислений?
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
Каковы возможные способы реализации "ленивых" вычислений?
Каковы основные свойства отношения конвертируемости?
Каковы основные способы задания типа?
Каковы основные пути оптимизации КАМ-кода?
Каковы основные компоненты формальной теории?
Каковы основные компоненты чистой системы типов?
Каковы основные условия для декартово замкнутых категорий?