Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
RAIRO. Informatique théorique, Tome 19 (1985) no. 1, pp. 33-41.
@article{ITA_1985__19_1_33_0,
     author = {Kantor, Raul and Sontacchi, Giovanna},
     title = {Un interpr\`ete {LISP} de la programmation fonctionnelle r\'ealis\'e par des combinateurs},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {33--41},
     publisher = {EDP-Sciences},
     volume = {19},
     number = {1},
     year = {1985},
     mrnumber = {795770},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1985__19_1_33_0/}
}
TY  - JOUR
AU  - Kantor, Raul
AU  - Sontacchi, Giovanna
TI  - Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
JO  - RAIRO. Informatique théorique
PY  - 1985
SP  - 33
EP  - 41
VL  - 19
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1985__19_1_33_0/
LA  - fr
ID  - ITA_1985__19_1_33_0
ER  - 
%0 Journal Article
%A Kantor, Raul
%A Sontacchi, Giovanna
%T Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
%J RAIRO. Informatique théorique
%D 1985
%P 33-41
%V 19
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1985__19_1_33_0/
%G fr
%F ITA_1985__19_1_33_0
Kantor, Raul; Sontacchi, Giovanna. Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs. RAIRO. Informatique théorique, Tome 19 (1985) no. 1, pp. 33-41. http://www.numdam.org/item/ITA_1985__19_1_33_0/

1. J. Backus, Can Programming be Liberate from von Neumann Style? A Functional Style and its Algebra of Programs, C.A.C.M. vol. 21, n° 8, 1978, p. 577-602. | MR | Zbl

2. C. Böhm, The Purpose of Unit-List in Functional Programming, Conference on Information Sciences, Oberwolfach, 1982.

3. C. Böhm, Combinatory Foundation of Functional Programming, A.C.M. Symposium on L.I.S.P. and Functional Programming, vol. 18, 15 août 1982, p. 29-36.

4. A. Chiarini, On FP Languages Combining Forms, SIGPLAN, vol. 15, n° 9, 1980, p. 25-27.

5. T. J. W. Clark, P. J. S. Gladstone, C. D. Mclean et A. C. Norman, SKIM. The S,K,I Reduction Machine, Conf. Rec. of the 1980 L.I.S.P. Conf., Stanford, CA, août 1980, p. 128-135.

6. C. Böhm, Un modèle arithmétique des termes de la logique combinatoire, Lambda calcul et sémantique formelle des langages de programmation, Actes de la Sixième École de Printemps d'Informatique Théorique, La Châtre, B. ROBINET, éd. L.I.T.P. and E.N.S.T.A., Paris, 1979, p. 97-108.

7. C. Böhm, An abstract Approach to (Hereditary) Finite Sequences of Combinators

H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism, 1980, p. 231-242, J. P. SELDIN et J. R. HINDLEY, éd., Academic Press, London. | MR | Zbl

8. H. B. Curry, R. Feys et W. Craig, Combinatory Logic, vol. 1, 1958, North Holland, Amsterdam. | MR | Zbl