Какие синтаксические домены описываю семантику SML?
На какие категории подразделяются типы SML?
Какие виды рекурсии существуют?
Какие типы SML относятся к базисным?
Какие объекты могут определяться рекурсивно?
Какие из перечисленных характеристик определяют сборку?
Какие объекты может содержать выражение языка SML?
Какие объекты преимущественно обрабатывает полиморфная функция?
Какие условия необходимы для формирования декартовых категорий?
Какие языки программирования формализованы абстрактными машинами?