|
Лекция 21: Типизация в языках функционального программирования
|
588 |
|
Лекция 22: Формальная семантика языков функционального программирования
|
671 |
|
Лекция 23: Доказательство свойств программ
|
610 |
|
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
|
645 |
|
Лекция 25: Реализация функциональных языков: интерпретаторы и абстрактные машины
|
728 |
|
Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
|
875 |
|
Лекция 27: Анализ искусственных и естественных языков
|
828 |
|
Лекция 28: Метапрограммирование: Quotations
|
756 |
|
Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
|
882 |
|
Лекция 30: Асинхронные и параллельные вычисления
|
871 |
