Aleksei Iurevich Zubarev Russian Federation, Novosibirsk Research area data types programming languages Affiliation & position Novosibirsk State University — student E-mail auzubarev@mail.ru
Zubarev A. Type analysis for the predicate programming language // System Informatics. — 2017. — # 9. — P. 1-22