Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(Новая страница: «Преподаватель -- Елагин Кирилл == Лекции == == Практика ==») |
|||
Строка 1: | Строка 1: | ||
− | Преподаватель -- Елагин Кирилл | + | Преподаватель -- Елагин Кирилл Владимирович |
== Лекции == | == Лекции == | ||
− | |||
== Практика == | == Практика == | ||
+ | |||
+ | == Ссылки == | ||
+ | |||
+ | * [http://starling.rinet.ru/~goga/tapl/tapl.pdf Б. Пирс - Типы в языках программирования] | ||
+ | * [http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf M. H. Sørensen, P. Urzyczyn - Lectures on the Curry-Howard Isomorphism] |
Версия 18:37, 28 февраля 2017
Преподаватель -- Елагин Кирилл Владимирович