Nigiyan, S.; Khondkaryan, T. ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2017, 51 (2 (243), 177-186. https://doi.org/10.46991/PYSU:A/2017.51.2.177.