Типы в языках программирования 6 2015 — различия между версиями
Материал из SEWiki
(→Лекции) |
|||
| Строка 17: | Строка 17: | ||
[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы] | [https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы] | ||
| + | |||
| + | [https://drive.google.com/file/d/0BxArEg5IgerybVBKQkxmQkNDS09FZ20ySF83VFJLZThvWXo4/view?usp=sharing Ограниченная квантификация] | ||
Версия 00:49, 17 ноября 2015
Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)
