Skip to main content
Springer Nature Link
Log in

A functional framework for deterministically interleaved interactive programs

  • Posters and Demonstrations
  • Conference paper
  • First Online:
Programming Languages: Implementations, Logics and Programs (PLILP 1995)

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

  • 196 Accesses

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

References

  1. Achten, P.M., Groningen J.H.G. van, and Plasmeijer, M.J. High Level Specification of I/O in Functional Languages. In Launchbury, J., Sansom, P. eds. Proc. Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992, Workshops in Computing, Springer-Verlag, Berlin, 1993, pp. 1–17.

    Google Scholar 

  2. Achten, P.M. and Plasmeijer, M.J. The ins and outs of Clean I/O. In Journal of Functional Programming 5(1), January 1995, Cambridge University Press, pp. 81–110.

    Google Scholar 

  3. Barendsen, E. and Smetsers, J.E.W. Conventional and Uniqueness Typing in Graph Rewrite Systems. In Shyamasundar, R.K. ed. Proc. 13th Conf. on the Foundations of Software Technology and Theoretical Computer Science, 15–17 December 1993, Bombay, India, LNCS 761, Springer-Verlag, Berlin, pp. 41–51.

    Google Scholar 

  4. Brus, T., Eekelen, M.C.J.D. van, Leer, M.O. van, Plasmeijer, M.J., and Barendregt, H.P. Clean: A Language for Functional Graph Rewriting. In Kahn. G. ed. Proc. 3rd International Conf. on Functional Programming Languages and Computer Architecture, 1987, Portland, Oregon, USA, LNCS 274, Springer-Verlag, pp. 364–384.

    Google Scholar 

  5. Carlsson, M. and Hallgren, Th. Fudgets — A Graphical User Interface in a Lazy Functional Language. In Proc. Conf. on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9–11 June 1993, ACM Press, pp. 321–330.

    Google Scholar 

  6. Dwelly, A. Functions and Dynamic User Interfaces. In Proc. 4th International Conf. on Functional Programming Languages and Computer Architectures, Imperial College, London, September 11–13, 1989, pp. 371–381.

    Google Scholar 

  7. Plasmeijer, M.J. and Eekelen, M.C.J.D. van. Functional Programming and Parallel Graph Rewriting. Addison-Wesley Publishing Company 1993.

    Google Scholar 

  8. Turner, D.A. An Approach to Functional Operating Systems. In Turner, D.A. ed. Research topics in Functional Programming, Addison-Wesley Publishing Company 1990, pp. 199–217.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Science Institute, University of Nijmegen, Toernooiveld 1, 6525ED, Nijmegen, The Netherlands

    Peter Achten

Authors
  1. Peter Achten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Hermenegildo S. Doaitse Swierstra

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Achten, P. (1995). A functional framework for deterministically interleaved interactive programs. In: Hermenegildo, M., Swierstra, S.D. (eds) Programming Languages: Implementations, Logics and Programs. PLILP 1995. Lecture Notes in Computer Science, vol 982. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026835

Download citation

  • DOI: https://doi.org/10.1007/BFb0026835

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60359-7

  • Online ISBN: 978-3-540-45048-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation