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