Лекция, 14 марта 2011, 15:45

Семинар по теории типов

бесплатно
Описание встречи

Обсуждается содержание книги Б. Пирса «Типы в языках программирования». Исследуются фундаментальные свойства языков программирования, математические подходы к их изучению, а также способы их реализации в современных компиляторах.

Посетили
Показать Всех
Смотрите также