NIGIYAN, S.; KHONDKARYAN, T. ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 51, n. 2 (243), p. 177–186, 15 Jun.2017.