При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
Какой вид имеет правая часть БНФ для аппликации SML-выражений?
Каковы основные стратегии вычислений?
В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
В какой последовательности строится теория вычислений Д. Скотта?
Каковы основные формализации ленивых вычислений?
Что из перечисленного является синонимом "ленивых" вычислений?
Что представляет собой среда вычислений при кодировании по де Брейну?
Каков графический механизм формализации ленивых вычислений?
