| Дата и время | Занятие | Место | Материалы |
|---|---|---|---|
| 31 марта 17:15–18:45 |
Лекция 1. Структура и процесс разработки компилятора GHC, Лекция | ПОМИ РАН | слайды, видео |
| 31 марта 19:00–20:30 |
Лекция 2. Порядок компиляции одного модуля: от лексического анализа до кодогенерации, Лекция | ПОМИ РАН | слайды, видео |
| 01 апреля 11:15–12:45 |
Лекция 3. Внутренний язык GHC Core как System Fω с алгебраическими типами, Лекция | ПОМИ РАН | слайды, видео |
| 01 апреля 13:00–14:30 |
Лекция 4. Расширения Core: от System FC к System D, Лекция | ПОМИ РАН | слайды, видео |
| 01 апреля 15:30–17:00 |
Лекция 5. STG-машина и вычисление выражений Core (редукция на графах), Лекция | ПОМИ РАН | слайды, видео |
