Geodesic
Simple typed functional programming languages
Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 1 (2007), pp. 223-234

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper presents a way of constructing simple functional programming languages that fit to define classes of recursive functions with bounded computational complexity. All processed data in the language are restricted with types, that also can be constructed in the language. The languages can be used both to concern complexity algorithms classes and to be expanded for practical programming use. 
@article{VUU_2007_1_a15,
     author = {A. P. Beltiukov},
     title = {Simple typed functional programming languages},
     journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
     pages = {223--234},
     publisher = {mathdoc},
     number = {1},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VUU_2007_1_a15/}
}
TY  - JOUR
AU  - A. P. Beltiukov
TI  - Simple typed functional programming languages
JO  - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
PY  - 2007
SP  - 223
EP  - 234
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VUU_2007_1_a15/
LA  - ru
ID  - VUU_2007_1_a15
ER  - 
%0 Journal Article
%A A. P. Beltiukov
%T Simple typed functional programming languages
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2007
%P 223-234
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VUU_2007_1_a15/
%G ru
%F VUU_2007_1_a15
A. P. Beltiukov. Simple typed functional programming languages. Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 1 (2007), pp. 223-234. http://geodesic.mathdoc.fr/item/VUU_2007_1_a15/