Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculusстатья

Работа с статьей


[1] Krivchikov M., Shulgin E. Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus // Материалы Пятой международной конференции Актуальные проблемы системной и программной инженерии. — Издательство НИУ ВШЭ Москва, 2017. — P. 57–62.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть