Refinement types in Jolie
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
[2016].
In CoRR abs/1602.06823.
@article{DBLP:journals/corr/TchitchiginSMEM16, author = {Alexander Tchitchigin and Larisa Safina and Manuel Mazzara and Mohamed Elwakil and Fabrizio Montesi and Victor Rivera}, title = {Refinement types in Jolie}, journal = {CoRR}, volume = {abs/1602.06823}, year = {2016}, url = {http://arxiv.org/abs/1602.06823}, eprinttype = {arXiv}, eprint = {1602.06823}, timestamp = {Mon, 17 Sep 2018 07:34:47 +0200}, biburl = {https://dblp.org/rec/journals/corr/TchitchiginSMEM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):