Типы в языках программирования весна 2018 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
(Лекции)
Строка 14: Строка 14:
  
 
[[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]
 
[[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]
 +
 +
Лекция 7. Субструктурные системы типов (гостевая, Кирилл Елагин)
  
 
== Практика ==
 
== Практика ==
  
 
[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]
 
[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]

Версия 14:51, 10 апреля 2018

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

Лекции

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

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

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

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

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

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

Лекция 7. Субструктурные системы типов (гостевая, Кирилл Елагин)

Практика

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