Nigiyan, S. and Khondkaryan, T. 2017. ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences. 51, 2 (243) (Jun. 2017), 177–186. DOI:https://doi.org/10.46991/PYSU:A/2017.51.2.177.