Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus - доклад на конференции | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculusдоклад на конференции

Авторы: Шульгин Е.В., Кривчиков М.А.
Международная Конференция : Актуальные проблемы системной и программной инженерии (АПСПИ 2017)
Даты проведения конференции: 14-16 ноября 2017
Дата доклада: 15 ноября 2017
Тип доклада: Устный
Докладчик: Кривчиков М.А.
Место проведения: Москва, Russia

Доклад на конференции выполнен в рамках проекта (проектов):

Добавил в систему: Кривчиков Максим Александрович