Типы в языках программирования весна 2018

Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)

Лекции

Лекция 1. Язык арифметических выражений

Лекция 2. Простые типы

Лекция 3. Простые расширения

Лекция 4. Обитаемость простых типов

Лекция 5. Нормализация для простой системы

Лекция 6. Подтипы

Практика

Ссылка-приглашение на stepik-курс с домашними заданиями