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