Verified type checker for Jolie programming language. - Evgenii Akentev; Alexander Tchitchigin; Larisa Safina; Manuel Mazzara (CoRR, 2017)