Просмотр исходного текста страницы Типы в языках программирования 6 2015

Лектор — Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)

==Лекции==
[https://drive.google.com/file/d/0BxArEg5IgeryVlJQekhXYzlFdjZHN1pkOFRRWUdibUNGWm1N/view?usp=sharing Простые типы]

[https://drive.google.com/file/d/0BxArEg5IgeryZ2h3WFpxVWgyUFl3QXgzSUE3SWYyRlZ1amFr/view?usp=sharing Простые расширения]

[https://drive.google.com/file/d/0BxArEg5IgerydU0yVzNuaVhBSTZmN1VhNHdORG9lOXktWndJ/view?usp=sharing Нормализация]

[https://drive.google.com/file/d/0BxArEg5IgeryUXRhYThqdFp0bmtDZDVyY2FOZ1lMSGtidk13/view?usp=sharing Ссылки]

[https://drive.google.com/file/d/0BxArEg5IgeryQmc3SlEyM0NKS2VVNWNfOTJFTDlFZFEzaENR/view?usp=sharing Подтипы]

[https://drive.google.com/file/d/0BxArEg5IgerycUdLOEZfN3d0OHFtZ0hrd2tIek8zbTg0a3Jv/view?usp=sharing Полиморфизм]

[https://drive.google.com/file/d/0BxArEg5IgerybndwU2tudTRLRjNMZVhpYUlfZlktX19DNWZ3/view?usp=sharing Универсальные типы]

[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы]

[https://drive.google.com/file/d/0BxArEg5IgerybVBKQkxmQkNDS09FZ20ySF83VFJLZThvWXo4/view?usp=sharing Ограниченная квантификация]

== Распределение по темам ==
[https://docs.google.com/spreadsheets/d/1h0h6VTEd432tSy2G-lrtPvi7q3wvDJyq5HI-6n0W6gs/edit#gid=0&vpid=A1 Таблица]