Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Доклад Юлии Беляковой о семантическом подтипировании на основе типовых тегов в рамках семинара «Языки программирования и компиляторы», Мехмат ЮФУ, 15.05.2019. Слайды: Статья и доказательства:
