Ростов-на-Дону

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

Лекция
Бесплатно
Событие прошло
Описание встречи

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

Комментарии

Комментировать
Close