TY  - JOUR
AU  - S. A. Nigiyan
AU  - T. V. Khondkaryan
TI  - On translation of typed functional programs into untyped functional programs
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2017
SP  - 177
EP  - 186
VL  - 51
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2017_51_2_a5/
LA  - en
ID  - UZERU_2017_51_2_a5
ER  -