Труды Института Системного Программирования РАН, 2004 г.
http://citforum.ru/SE/project/models/
Для чего нужны модели
Почему важно, чтобы модели были исполняемыми
Способы исполнения моделей
https://www.unison-lang.org/docs/the-big-idea/ Упрощение распределенного программирования Сегодняшние языки программирования, как правило, основаны…
Трясина Тьюринга. Смоляная яма Тьюринга. Трясина подробностей. Трясина Тьюринга. https://ru.wikipedia.org/wiki/Тьюринговская_трясина Смоляная яма…
На пальцах. Монады, морфизмы, функторы, каррирование, замыкание. Три статьи на хабре. Почему функциональное программирование такое сложное…