Towards Static Type-checking for Jolie. - Bogdan Mingela; Nikolay Troshkov; Manuel Mazzara; Larisa Safina; Alexander Tchitchigin (CoRR, 2017)