|
Лекция 21: Типизация в языках функционального программирования
|
641 |
|
Лекция 22: Формальная семантика языков функционального программирования
|
715 |
|
Лекция 23: Доказательство свойств программ
|
658 |
|
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
|
692 |
|
Лекция 25: Реализация функциональных языков: интерпретаторы и абстрактные машины
|
780 |
|
Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
|
950 |
|
Лекция 27: Анализ искусственных и естественных языков
|
902 |
|
Лекция 28: Метапрограммирование: Quotations
|
826 |
|
Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
|
964 |
|
Лекция 30: Асинхронные и параллельные вычисления
|
947 |
