Un langage pour la programmation fonctionnelle
Merlin, Armelle1
1 Laboratoire d’Informatique Fondamentale d’Orléans BP 6759 45067 Orléans Cedex 2 France
Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 47-51.
Publié le :
Merlin, Armelle 1

1 Laboratoire d’Informatique Fondamentale d’Orléans BP 6759 45067 Orléans Cedex 2 France 
@article{RFM_2002__6_S2_47_0,
     author = {Merlin, Armelle},
     title = {Un langage pour la programmation fonctionnelle},
     journal = {Femmes & math},
     pages = {47--51},
     publisher = {Association femmes et math\'ematiques},
     year = {2002},
     language = {fr},
     url = {http://www.numdam.org/item/RFM_2002__6_S2_47_0/}
}
TY  - JOUR
AU  - Merlin, Armelle
TI  - Un langage pour la programmation fonctionnelle
JO  - Femmes & math
PY  - 2002
SP  - 47
EP  - 51
PB  - Association femmes et mathématiques
UR  - http://www.numdam.org/item/RFM_2002__6_S2_47_0/
LA  - fr
ID  - RFM_2002__6_S2_47_0
ER  - 
%0 Journal Article
%A Merlin, Armelle
%T Un langage pour la programmation fonctionnelle
%J Femmes & math
%D 2002
%P 47-51
%I Association femmes et mathématiques
%U http://www.numdam.org/item/RFM_2002__6_S2_47_0/
%G fr
%F RFM_2002__6_S2_47_0
Merlin, Armelle. Un langage pour la programmation fonctionnelle. Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 47-51. http://www.numdam.org/item/RFM_2002__6_S2_47_0/

[1] G. Cousineau, P. L. Curien, and M. Mauny. The categorical abstract machine. In J.-P. Jouannaud, editor, Functional Programming Languages and Computer Architecture, pages 50–64. Springer-Verlag, Berlin, DE, 1985. Lecture Notes in Computer Science 201Proceedings of. Conference at Nancy. | Zbl

[2] Peter J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6(4) :308–320, January 1964. | Zbl

[3] F. Loulergue. Conception de langages fonctionnels pour la programmation massivement parallèle. Thèse de Doctorat d’Université, Université d’Orléans, janvier 2000.

[4] A. Merlin. Bsλ simplement typé : Typage et sémantique naturelle. Rapport de DEA, Université d’Orléans, Septembre 2000.

[5] Leslie G. Valiant. A bridging model for parallel computation. Communications of the ACM, 22(8) :103–111, August 1990.