A functional framework for deterministically interleaved interactive programs

  • Peter Achten
Posters and Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 982)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [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. [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. [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. [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. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Peter Achten
    • 1
  1. 1.Computing Science InstituteUniversity of NijmegenNijmegenThe Netherlands

Personalised recommendations