Nigiyan, S., & 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), 177–186. https://doi.org/10.46991/PYSU:A/2017.51.2.177