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