Лекция 22: Формальная семантика языков функционального программирования
defaultValue- Подробности
- Категория: Функциональное программирование от НОУ ИНТУИТ
Классификация формальных семантик.Теория доменов. Теорема о неподвижной точке. Семантика для простейшего языка.
