Hakopian RY. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2023 Oct. 6 [cited 2024 Nov. 23];42(3 (217):59-6. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol42_no3_2008_p059-069