|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программированиястатья
- Автор: Кривчиков М.А.
- Сборник: Материалы VIII международной конференции "Знания - Онтологии - Теории" (ЗОНТ 2021)
- Год издания: 2021
- Издательство: НГУ
- Местоположение издательства: Новосибирск
- Первая страница: 149
- Последняя страница: 161
- Добавил в систему: Кривчиков Максим Александрович