The ins and outs of Clean I/O

Journal of Functional Programming

Volumn 5, Issue 1, 1995, Pages 81-110

  Achten, Peter ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346897428     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796800001258     Document Type: Article

References (34)

1. Achten, P. M., van Groningen, J. H. G. and Plasmeijer, M. J. (1993) 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 June. (Workshop Notes in Computer Science. Springer-Verlag, 1993, pp. 1-17.)
2. Achten, P. M. and Plasmeijer, M. J. (1993) The beauty and the beast. Technical Report No. 93–103, March 1993. Research Institute for Declarative Systems, Department of Informatics, Faculty of Mathematics and Informatics, University of Nijmegen.
3. Achten, P. M. (1994) Operational semantics of Clean Event I/O. Technical Report (in preparation). University of Nijmegen, The Netherlands.
4. Backus, J. (1978) Can programming be liberated from the von Neuman style? A functional style and its algebra of programs. Communications of the ACM, 21(8): 613–641.
5. Backus, J., Williams, J. and Wimmers, E. (1990) An introduction to the programming language FL. In Turner, D. A. (ed.) Research Topics in Functional Programming. Addison-Wesley, pp. 219–247.
6. Barendregt, H. P., Eekelen van, M. C. J. D., Glauert, J. R. W., Kennaway, J. R., Plasmeijer, M. J. and Sleep, M. R. (1987) Term graph rewriting. In Bakker, J. W. de, Nijman, A. J., Treleaven, P. C. (eds.) Proc. Parallel Architectures and Languages Europe, Eindhoven, The Netherlands. (LNCS 259, Vol. II. Springer-Verlag, pp. 141-158.)
7. Barendsen, E. and Smetsers, J. E. W. (1993 a) Conventional and uniqueness typing in graph rewrite systems. Technical Report CSI-R9328, Computing Science Institute, Department of Informatics, University of Nijmegen.
8. Barendsen, E. and Smetsers, J. E. W. (1993 b) Conventional and uniqueness typing in graph rewrite systems (extended abstract). In Shyamasundar, R. K. (ed.) Proc. Thirteenth Conf. Foundations of Software Technology and Theoretical Computer Science, 15–17 December, Bombay, India. (LNCS 761, Springer-Verlag, pp. 41-51.)
9. Brus, T., Eekelen, M. C. J. D. van, Leer, M. O. van and Plasmeijer, M. J. (1987) Clean: a language for functional graph rewriting. In Kahn. G. (ed.) Proc. Third Int. Conf. Functional Programming Languages and Computer Architecture, Portland, Oregon, USA. (LNCS 274, Springer-Verlag, pp. 364-384.)
10. Carlsson, M. and Hallgren, Th. (1993) fudgets - a graphical user interface in a lazy functional language. Proc. Conf. Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, 9–11 June, ACM Press, pp. 321–330.
11. Chirimar, J., Gunter, C. A. and Riecke, J. C. (1992) Proving memory management invariants for a language based on linear logic. Proc. ACM Conf. Lisp and Functional Programming, San Francisco, CA, June 22–24, ACM Press, pp. 139–150.
12. Dwelly, A. (1989) Functions and dynamic user interfaces. Proc. Fourth Int. Conf. Functional Programming Languages and Computer Architecture, London, UK, September 11–13, pp. 371–381.
13. Eekelen, M. C. J. D. van, Huitema, H. S., Nöcker, E. G. J. M. H., Plasmeijer, M. J. and Smetsers, J. E. W. (1993) Concurrent Clean language manual - Version 0.8. Technical Report No. 93–13. Research Institute for Declarative Systems, Department of Informatics, University of Nijmegen.
14. Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science, 50: 1–102.
15. Gordon, A. D. (1993) Functional programming and input (output. PhD thesis, University of Cambridge Computer Laboratory, Technical Report No. 285.
16. Guzman, J. C. and Hudak, P. (1990) Single-Threaded Polymorphic Lambda Calculus. Proc. Fifth Ann. IEEE Symposium on Logic in Computer Science. Philadelphia, PA June 4–7, pp. 333–343.
17. Groningen, J. H. G. van, Nocker, E. G. J. M. H. and Smetsers, J. E. W. (1991) Efficient heap management in the concrete ABC machine. In Glaser, Hartel (eds.) Proc. Third Int. Workshop on Implementation of Functional Languages on Parallel Architectures, Southampton, UK, Technical Report Series CSTR 91–107.
18. Henderson, P. (1982) Purely functional operating systems. In Darlington, J., Henderson, P., Turner, D. A. (eds.) Functional Programming and its Applications, Cambridge University Press, pp. 177–192.
19. Hudak, P., Peyton Jones, S., Wadler, Ph., Boutel, B., Fairbairn, J., Fasel, J., Hammond, K., Hughes, J., Johnsson, Th., Kieburtz, D., Nikhil, R., Partain, W. and Peterson, J. (1992) Report on the programming language Haskell. ACM SigPlan Notices, 27(5): 1–164.
20. Hughes, J. (1990) Why functional programming matters. In Turner, D. A. (ed), Research Topics in Functional Programming. Addison-Wesley, pp. 17-42.
21. Moggi, E. (1989) Computational lambda calculus and monads. Proc. Fourth Ann. Symposium on Logic in Computer Science, June 5–8, Computer Society Press, pp. 14-23.
22. Nöcker, E. G. J. M. H., Smetsers, J. E. W., van Eekelen, M. C. J. D. and Plasmeijer, M. J. (1991) Concurrent Clean. In Aarts, E. H. L., van Leeuwen, J., Rem, M. (eds.) Proc. Parallel Architectures and Languages Europe, June, Eindhoven, The Netherlands. (LNCS 506, Springer-Verlag, pp. 202-219.)
23. Perry, N. (1988) Functional I/O-a solution. Department of Computing, Imperial College, London (Draft).
24. Peyton Jones, S. L. and Wadler, P. (1993) Imperative functional programming. Proc. Twentieth Ann. ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Charleston, SC, January 10–13, pp. 71–84.
25. Plasmeijer, M. J. and van Eekelen, M. C. J. D. (1993) Functional Programming and Parallel Graph Rewriting. Addison-Wesley.
26. Plasmeijer, M. J. and van Eekelen, M. C. J. D. (1994) Clean 1.0 Reference Manual, Technical Report (in preparation) University of Nijmegen, The Netherlands.
27. Redelmeier, D. H. (1984) Towards practical functional programming. PhD thesis, Computer Systems Research Group, University of Toronto, May (Technical Report CSRG-158).
28. Smetsers, J. E. W., Nöcker, E. G. M. H., van Groningen, J. H. G. and Plasmeijer, M. J. (1991) Generating efficient code for lazy functional languages. In Hughes, J. (ed.) Proc. Fifth Int. Conf. on Functional Programming Languages and Computer Architecture, Cambridge, MA. (LNCS 523, Springer-Verlag, pp. 592-617.)
29. Smetsers, J. E. W., Barendsen, E., van Eekelen, M. C. J. D. and Plasmeijer, M. J. (1993) Guaranteeing safe destructive updates through a type system with uniqueness information for graphs. Proc. Workshop Graph Transformations in Computer Science, Schloss Dagstuhl, January 4-8. (Lecture Notes in Computer Science, Springer-Verlag).
30. Thompson, S. (1990) Interactive functional programs. A method and a formal semantics. In Turner, D. A. (ed.) Research Topics in Functional Programming, Addison-Wesley, pp. 249–285.
31. Turner, D. A. (1990) An approach to functional operating systems. In Turner, D. A. (ed.) Research Topics in Functional Programming, Addison-Wesley, pp. 199–217.
32. Wadler, Ph. (1990a) Linear types can change the world! In Broy, M., Jones, C. B. (eds.) Programming Concepts and Methods. North-Holland.
33. Wadler, Ph. (1990b) Comprehending monads. Proc. ACM Conf. Lisp and Functional Programming, ACM Press, pp. 61–78.
34. Williams, J. H. and Wimmers, E. L. (1988) Sacrificing simplicity for convenience: Where do you draw the line? Proc. Fifteenth Ann. ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January, pp. 169–179.