D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”, Model. Anal. Inform. Sist., 24:6 (2017), 704–717
Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera, “Refinement types in jolie”, Proceedings of ISP RAS, 28:2 (2016), 33–44
Contact us: