|
Лекция 21: Типизация в языках функционального программирования
|
551 |
|
Лекция 22: Формальная семантика языков функционального программирования
|
644 |
|
Лекция 23: Доказательство свойств программ
|
576 |
|
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
|
621 |
|
Лекция 25: Реализация функциональных языков: интерпретаторы и абстрактные машины
|
688 |
|
Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
|
831 |
|
Лекция 27: Анализ искусственных и естественных языков
|
786 |
|
Лекция 28: Метапрограммирование: Quotations
|
713 |
|
Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
|
831 |
|
Лекция 30: Асинхронные и параллельные вычисления
|
838 |
