Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

Գրականության ցանկ

1. Barendregt H. P. Lambda calculi with types. Handbook of Login in Computer Science, Vol. 2, Edited by S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, Oxford University Press, 1992, p. 117-309.
2. Будагян Л. Э. Об интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван, 2006.
3. Манна З. Теория неподвижной точки программ. Кибернетический сборник (новая серия), вып. 15, 1978, с. 38-100.
4. Нигиян С. А. Функциональные языки программирования. Программирование, 5, 1991, с. 77-86 (англ. пер.: Nigiyan S. A. Functional languages, Programming and Computer Software, Vol. 17., 5, 1992, p. 290-297)
5. Нигиян С. А. Об интерпретации функциональных языков программирования. Программирование, 2, 1993, с. 58-68 (англ. пер.: Nigitan S. A. On interpretation of functional programming languages, Programming and Computer Software, Vol. 19, 2, 1993, p. 71-78).
6. Акопян Р. Ю. Об алгоритмах интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван 2010.
…