|
Лекция 21: Типизация в языках функционального программирования
|
596 |
|
Лекция 22: Формальная семантика языков функционального программирования
|
681 |
|
Лекция 23: Доказательство свойств программ
|
621 |
|
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
|
661 |
|
Лекция 25: Реализация функциональных языков: интерпретаторы и абстрактные машины
|
738 |
|
Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
|
899 |
|
Лекция 27: Анализ искусственных и естественных языков
|
849 |
|
Лекция 28: Метапрограммирование: Quotations
|
783 |
|
Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
|
909 |
|
Лекция 30: Асинхронные и параллельные вычисления
|
895 |
