Skip to main content
SpringerLink
Log in

High order programming in extended FP

  • Conference paper
  • First Online:
Functional Programming Languages and Computer Architecture (FPCA 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 201))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.W. Backus, Can programming be liberated from Von Neumann style? A functional style and its Algebre of Programs, CACM 21, Number 8, 1978.

    Google Scholar 

  2. J.W. Backus, The algebra of Functional Programming, function level reasoning, linear equations and extended definitions, in Formalization of Programming concepts, LNCS 107, Peniscola 1981.

    Google Scholar 

  3. H.P. Barendregt, The lambda-calculus, its syntax and semantics, Studies in Logic and the Foundations of Mathematics 103, J. Barwise ed., North Holland, 1981.

    Google Scholar 

  4. F. Bellegarde, Rewriting systems on FP expressions that reduce the number of sequences they yield, Symposium on Lisp and Functional Programming, 1984.

    Google Scholar 

  5. P. Bellot, Propriétes Logico-Combinatoires des systèmes de programmation sans variables, Thèse de troisième cycle, Rapport LITP 84-30, Université PARIS VI, 1984.

    Google Scholar 

  6. P. Bellot, JYM 2.0, Un interprête des systèmes FP, manuel d'utilisation, Rapport Gréco de Programmation RG 9.84, 1984.

    Google Scholar 

  7. P. Bellot, Sémantiques comparées des systèmes de programmation fonctionelle sans variables de J.W. Backus, International Symposium on Programming, 6th Colloquium, B. Robinet ed., LNCS 167, pp 23–34, Springer-Verlag, 1984.

    Google Scholar 

  8. C. Boehm, Combinatory foundations of Functional Programming, Symposium on Lisp and Functional Programming, 1982.

    Google Scholar 

  9. J. Gibert, J. Shepherd, From Algebra to Compiler, an implementation of Functional Programming, Internal Report, University of Melbourne, Australia, 1983.

    Google Scholar 

  10. J. Gibert, An introduction to functional programming via mu-fp, International Report, University of Melbourne, Australia, 1983.

    Google Scholar 

  11. J. Gibert, J. Shepherd, Programming the J-Machine, Internal Report, University of Melbourne, Australia, 1984.

    Google Scholar 

  12. J.Y. Halpern, J.H. Williams, E.L. Wimmers, T.C. Winkler, Denotational semantics and rewriting rules for FP, Research report RJ 4525(48653) 12/5/84 Computer Sciences, IBM research laboratory, San Jose CA 95193.

    Google Scholar 

  13. R. Kantor, G. Sontacchi, A Lisp-interprèter of functional programming realized with combinators, Internal report, University of Rome, 1983.

    Google Scholar 

  14. C.T. Lieu, Etude d'un point-fixeur dans des ensembles restreints, Rapport LITP 85-07, Université PARIS VI, 1985.

    Google Scholar 

  15. J.F. Perrot, Lisp et Lambda-calcul, Actes de la sixième école de Printemps d'Informatique théorique, B. Robinet ed., Publications LITP, La Châtre 1978.

    Google Scholar 

  16. B. Robinet, Un modèle Logico-Combinatoire des systèmes de Backus, Rapport LITP 80-21, 1980.

    Google Scholar 

  17. J.H. Williams, Formal representations of recursively defined functional programs, Formalization of programming concepts, LNCS 107, Penniscola 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LITP-CNRS (LA 248), 2 place Jussieu, 75005, Paris

    Patrick Bellot

  2. Ile du Saulcy, Université de Metz, 57045, Metz-Cedex

    Patrick Bellot

Authors
  1. Patrick Bellot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Pierre Jouannaud

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bellot, P. (1985). High order programming in extended FP. In: Jouannaud, JP. (eds) Functional Programming Languages and Computer Architecture. FPCA 1985. Lecture Notes in Computer Science, vol 201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15975-4_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-15975-4_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15975-9

  • Online ISBN: 978-3-540-39677-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation