Nigiyan, S.; Khondkaryan, T. ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2017, 51, 177-186.