Nigiyan S, Khondkaryan T. ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2017 Jun. 15 [cited 2024 Jul. 3];51(2 (243):177-86. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/Vol.51_No.2_2017_pp.177-186