Skip to main content
SpringerLink
Log in

Streams are not dreams

  • Conference paper
  • First Online:
Combinators and Functional Programming Languages (LITP 1985)

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

Included in the following conference series:

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.

6) References

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

    Google Scholar 

  2. F. Bellegarde Rewriting systems on FP expressions that reduce the number sequences they yeild, Symposium on Lisp and Functional Programming 1984, LNCS, pp 63–73, Austin (Texas), 1984.

    Google Scholar 

  3. P. Bellot JYM: un langage de programmation sans variables et ses réalisations, Actes des journées Afcet-Groplan, Bulletin BIGRE+GLOBULE, J. André éditeur, à paraître, Toulouse 1985.

    Google Scholar 

  4. P. Bellot High order programming in extended FP, IFIP conference on Functional Programming and Computer Architecture, LNCS 201, pp 65–80, Nancy 1985.

    Google Scholar 

  5. P. Bellot and B. Robinet Functional programming with uncurryfied combinators, First Workshop on Reduction Machines, to appear in LNCS, Ustica (Italy), 1985.

    Google Scholar 

  6. P. Bellot Graal: a functional programming system with uncurryfied combinators and its reduction machine, submitted for publication, octobre 1985.

    Google Scholar 

  7. J.L. Durieux Sémantique des liaisons nom-valeur; application à l'implémentation des lambda-langages, Thèse d'Etat, Université Paul Sabatier, Toulouse 1981.

    Google Scholar 

  8. T. Ida and J. Tanaka Functional programming with streams, Proceedings of the IFIP 9th World Computer Congress, R.E.A., Masson Ed.

    Google Scholar 

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

    Google Scholar 

  10. B. Robinet Programmation sans variables ou la Logique Combinatoire à la Backus, Journées Groplan-Afcet, Cargese 1979.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculté des Sciences, Université de Metz, Ile du Saulcy, 57045, Metz Cédex

    P. Bellot

  2. L.I.T.P., U.A. 248, Université P. et M. Curie (Paris 6), 4, place Jussieu, 75230, Paris Cédex 05

    B. Robinet

Authors
  1. P. Bellot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. Robinet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cousineau Pierre-Louis Curien Bernard Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bellot, P., Robinet, B. (1986). Streams are not dreams. In: Cousineau, G., Curien, PL., Robinet, B. (eds) Combinators and Functional Programming Languages. LITP 1985. Lecture Notes in Computer Science, vol 242. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17184-3_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-17184-3_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17184-3

  • Online ISBN: 978-3-540-47253-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation