Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs

Raul Kantor; Giovanna Sontacchi

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1985)

  • Volume: 19, Issue: 1, page 33-41
  • ISSN: 0988-3754

How to cite

top

Kantor, Raul, and Sontacchi, Giovanna. "Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 19.1 (1985): 33-41. <http://eudml.org/doc/92220>.

@article{Kantor1985,
author = {Kantor, Raul, Sontacchi, Giovanna},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {1},
pages = {33-41},
publisher = {EDP-Sciences},
title = {Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs},
url = {http://eudml.org/doc/92220},
volume = {19},
year = {1985},
}

TY - JOUR
AU - Kantor, Raul
AU - Sontacchi, Giovanna
TI - Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1985
PB - EDP-Sciences
VL - 19
IS - 1
SP - 33
EP - 41
LA - fre
UR - http://eudml.org/doc/92220
ER -

References

top
  1. 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. Zbl0383.68013MR520392
  2. 2. C. BÖHM, The Purpose of Unit-List in Functional Programming, Conference on Information Sciences, Oberwolfach, 1982. 
  3. 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. 4. A. CHIARINI, On FP Languages Combining Forms, SIGPLAN, vol. 15, n° 9, 1980, p. 25-27. 
  5. 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. 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. 7. C. BÖHM, An abstract Approach to (Hereditary) Finite Sequences of Combinators 
  8. 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. Zbl0469.03006MR592792
  9. 8. H. B. CURRY, R. FEYS et W. CRAIG, Combinatory Logic, vol. 1, 1958, North Holland, Amsterdam. Zbl0081.24104MR94298

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.