%0 Journal Article %A S. A. Nigiyan %A T. V. Khondkaryan %T On translation of typed functional programs into untyped functional programs %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2017 %P 177-186 %V 51 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2017_51_2_a5/ %G en %F UZERU_2017_51_2_a5