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

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 24 апреля 2018 г.

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


[1] Krivchikov M., Shulgin E. Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus // 5th International Conference on Actual Problems of System and Software Engineering, APSSE 2017. — Vol. 1989 of CEUR Workshop Proceedings (CEUR-WS.org). — CEUR Workshop Proceedings, Vol-1989, http://ceur-ws.org, 2017. — P. 57–62.

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