|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculusстатья
- Авторы: Krivchikov M., Shulgin E.
- Сборник: Материалы Пятой международной конференции "Актуальные проблемы системной и программной инженерии"
- Год издания: 2017
- Место издания: Издательство НИУ ВШЭ Москва
- Первая страница: 57
- Последняя страница: 62
- Добавил в систему: Кривчиков Максим Александрович