История изменений
Исправление quasimoto, (текущая версия) :
Источник это ключевые слова moggi+monad, functional+specification+effects, lazy+io+operational+semantics, spj+publications, которые у меня с темой семантики IO ассоциируются — как-то нечего выкладывать :)
Исходная версия quasimoto, :
Источник это ключевые слова functional+specification+effects, lazy+io+operational+semantic, spj+publications, которые у меня с темой семантики IO ассоциируются — как-то нечего выкладывать :)