TY  - RPRT
TI  - Jolie Static Type Checker: a prototype
AU  - Daniel de Carvalho
AU  - Manuel Mazzara
AU  - Bogdan Mingela
AU  - Larisa Safina
AU  - Alexander Tchitchigin
AU  - Nikolay Troshkov
PY  - 2017
UR  - https://arxiv.org/abs/1702.07146
ID  - 1702.07146
ER  -