Уроки языка программирования Agda


Также посмотрите следующие материалы:

Видеоурок # 1. Основы программирования.

Дмитрий Волков. HIGH-ASSURANCE EMBEDDED

Краткий экскурс в системы типов или как избеж...

Андрей Бреслав. Функции и данные в Kotlin

Функциональные языки в Echo - Лев Валкин @ ky...

Илья Сергей. Статический анализ и оптимизация...

FPConf 2014. Петр Зотов: OCaml и Eliom - сле...