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

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