Proposal for a natural formalization of functional programming concepts
Bellot, Patrick ; Sarni, Djamil
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 341-360 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1988-01-01
@article{ITA_1988__22_3_341_0,
     author = {Bellot, Patrick and Sarni, Djamil},
     title = {Proposal for a natural formalization of functional programming concepts},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {22},
     year = {1988},
     pages = {341-360},
     mrnumber = {963596},
     zbl = {0648.68041},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1988__22_3_341_0}
}

Bellot, Patrick; Sarni, Djamil. Proposal for a natural formalization of functional programming concepts. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 341-360. http://gdmltest.u-ga.fr/item/ITA_1988__22_3_341_0/

1. J. W. Backus, Can Programming Be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs, C.A.C.M., Vol. 1, N° 8, 1978,pp. 613-641. | MR 520392 | Zbl 0383.68013

2. H. P. Barendregt, The Lambda-Calculus, its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Vol. 103, North Holland, 1981. | MR 622912 | Zbl 0467.03010

3. A. Belkhir, Programmation fonctionnelle et parallélisme, Rapport Gréco de Programmation, 1986.

4. F. Bellegarde, Rewriting Systems on FP Expressions that reduce the Number of Sequences they Yields, A.C.M. Symposium on Lisp and Functional Programming, Austin, 1984.

5. P. Bellot, Propriétés logico-combinatoires des systèmes de programmation sans variable, Thèse 3e cycle, U.P.M.C. Paris-VI, Rapport LITP 84-30, 1983.

6. P. Bellot, High order Programming in Extended FP, FPCA 85, LNCS 201 J. P. JOUANNAUD Ed., pp. 65-80, Nancy, 1985. | Zbl 0574.68013

7. P. Bellot, Sur les sentiers du Graal, étude, conception et réalisation d'un langage de programmation sans variable, Thèse d'État, U.P.M.C. Paris-VI, Rapport LITP 86-62, 1986.

8. P. Bellot, Graal: a Functional Programming System with Uncurryfied Combinators and its Reduction Machine, ESOP86, LNCS 213, B. ROBINET Ed., pp. 82-98, Saarbrucken, 1986. | Zbl 0587.68002

9. H. B. Curry and R. Feys, Combinatory Logic I, North Holland, 1958. | MR 94298 | Zbl 0081.24104 | Zbl 0175.27601

10.N. Glaser, C. Hankin and D. Till, Principles of Functional Programming, Prentice/Hall International, 1984. | MR 894921 | Zbl 0649.68002

11.J. W. Klop, Combinatory Reduction Systems, Dissertation, University of Utrecht, 1980. | MR 603274

12. J. R. Hindley and J. P. Seldin, Introduction to Combinators and Lambda-Calculus, London Mathematical Society, Student Texts 1, Cambridge University Press, 1986. | MR 879272 | Zbl 0614.03014

13. S. C. Kleene, Introduction to Metamathematics, Van Nostrand 1952. | MR 51790 | Zbl 0047.00703

14. S. C. Kleene, Introduction to Mathematical Logic, Van Nostrand, 2nd ed., 1979. | MR 524725

15. B. Robinet, Un modèle logico-combinatoire des systèmes de Backus, Rapport LITP 80-21, 1980.

16. D. A. Turner, A New Implementation Technique for Applicative Language, Software-Practice and Experience, Vol. 9, 1979, pp. 31-49. | Zbl 0386.68009

17. E. G. Wagner, URS : in an Axiomatic Approach to Computability, formation Sciences 1, 1969, pp. 343-362. | MR 262078