π-RED+: An interactive compiling graph reduction system for an applied λ-calculus

Journal of Functional Programming

Volumn 6, Issue 5, 1996, Pages 723-756

  Gärtner, Dietmar ^a   Kluge, Werner E ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3042864842     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0956796800001957     Document Type: Article

References (26)

1. Backus, J. (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Comm. ACM 21(4): 613-643.
2. Berkling, K. J. (1974) Reduction languages for reduction machines, Proc. 2nd Int. Symp. on Comp. Arch., pp. 133-140. ACM/IEEE.
3. deBruijn, N. G. (1972) Lambda-calculus notation with nameless dummies. A tool for automatic formula manipulation with application to the Church-Rosser theorem, Indagationes Mathematicae 34: 381-392.
4. Cardelli, L. and McQueen, D. (1983) The Functional Abstract Machine, The ML/LCF/HOPE Newsletter, AT&T Bell Labs, Murray Hill, NJ.
5. Church, A. (1941) The Calculi of λ-Conversion. Princeton University Press.
6. Cousineau, G., Curien, P.-L. and Mauny, M. (1987) The Categorial Abstract Machine, Science of Computer Programming (8): 173-202.
7. Curry, H. B. (1936) Functionality in combinatory logic, Proc. Nat. Academy of Science USA 20: 584-590.
8. Fairbairn, J. and Wray, S. C. (1988) TIM: a simple lazy abstract machine to execute super-combinators, Proc. Conf. on Functional Programming and Computer Architecture: Lecture Notes in Computer Science 274, pp. 34-45. Springer-Verlag.
9. +- a compiling graph reduction system for a full-fledged λ-calculus, Proc. 4th Int. Workshop on the Parallel Implementation of Functional Languages, Aachener Informatik Berichte Nr. 92-19.
10. Goldson, D. (1994) A symbolic calculator for non-strict functional programs, The Computer Journal 37(3): 177-187.
11. Harper, E., MacQueen, D. and Milner, R. (1986) Standard ML, Laboratory for Foundations of Computer Science, University of Edinburgh.
12. Hindley, J. R. and Seldin, J. P. (1986) Introduction to Combinators and λ-Calculus, Cambridge University Press (London Mathematical Society Student Texts).
13. Hudak, P., Peyton Jones, S., Wadler, P., Boutel, B., Fairbairn, J., Fasel, J., Hammond, K., Hughes, J., Johnsson, T., Kieburtz, D., Nikhil, R., Partain, W. and Peterson, J. (1992) Report on the Programming Language Haskell, ACM SIGPLAN Notices 27(5): 17-12.
14. Hudak, P. and Goldberg, B. (1985) Serial combinators: optimal grains for parallelism, Proc. Conf. on Functional Programming and Computer Architecture: Lecture Notes in Computer Science 201, pp. 382-399. Springer-Verlag.
15. Hughes, R. J. M. (1982) Super-combinators - a new implementation technique for applicative languages, Proc. ACM Conf. on LISP and Functional Programming, pp. 1-19. Pittsburgh, PA,
16. Johnson, T. (1985) Lambda lifting: transforming programs to recursive equations, Proc. Conf. on Functional Programming and Computer Architecture: Lecture Notes in Computer Science 201, pp. 190-203. Springer-Verlag.
17. Johnsson, T. (1984) Efficient compilation of lazy evaluation, SIGPLAN Compiler Construction Conference, Montreal, Quebec.
18. Kluge, W. (1994) Programming the Reduction System π-RED, Internal Report Nr. 9419, Institut für Informatik und Praktische Mathematik, CAU Kiel/Germany.
19. Peyton Jones, S. L. (1987) The Implementation of Functional Programming Languages, Prentice Hall.
20. Peyton Jones, S. L. (1992) Implementing lazy functional languages on stock hardware: the Spineless Tagless G-Machine, J. Functional Programming 2(2): 127-202.
21. Plasmeijer, R. and van Eekelen, M. (1993) Functional Programming and Parallel Graph Rewriting, Addison-Wesley.
22. + - a graph reducer for a full-fledged λ-calculus, New Generation Computing 10(2): 173-195.
23. Turner, D. A. (1976) A new implementation technique for applicative languages, Software-Practice and Experience 9(1): 31-49.
24. Turner, D. A. (1986) An overview of Miranda, SIGPLAN Notices 21(12): 158-166.
25. Allegro CL User Guide (1992) Vol. 1, Version 4.1, Franz Inc.
26. Sun Common LISP 4.0 User's Guide (1990) SUN Microsystems Inc.