В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
 

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