На каком этапе определяются типы выражений в языке SML?
Какова схема трансляции в код КАМ?
Что из перечисленного является формализацией для абстрактной машины?
Какой из языков функционального программирования назван по имени абстрактной машины?
Для чего используются кортежи в языке SML?
Какие ключевые слова используются для описания в языке SML?
Какова последовательность синтаксического разбора программы?
В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
В каком направлении восстанавливаются скобки для абстракции в ламбда-исчислении?