Для цитирования:

Чичигин А., Сафина Л., Эльвакиль М., Маццара М., Монтези Ф., Ривера В. Refinement типы для языка Jolie. Труды Института системного программирования РАН. 2016;28(2):33-44. https://doi.org/10.15514/ISPRAS-2016-28(2)-2

For citation:

Tchitchigin A., Safina L., Elwakil M., Mazzara M., Montesi F., Rivera V. Refinement Types in Jolie. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(2):33-44. https://doi.org/10.15514/ISPRAS-2016-28(2)-2