Daniel de CarvalhoRussia, InnopolisAffiliation & position Innopolis University — researcher E-maild.carvalho@innopolis.ru List of Articles in System Informatics: D. de Carvalho M. Mazzara B. Mingela L. Safina N. Troshkov A. Tchitchigin Towards Static Type-checking for Jolie // System Informatics. — 2017. — # 10. — P. 77-88