TY  - RPRT
TI  - Refinement types in Jolie
AU  - Alexander Tchitchigin
AU  - Larisa Safina
AU  - Manuel Mazzara
AU  - Mohamed Elwakil
AU  - Fabrizio Montesi
AU  - Victor Rivera
PY  - 2016
UR  - https://arxiv.org/abs/1602.06823
ID  - 1602.06823
ER  -