Functional Programming Languages and Computer Architecture

1. Front Matter

   PDF

2. Control of parallelism in the Manchester dataflow machine

   • Carlos A. Ruggiero, John Sargeant

   Pages 1-15

3. The D-RISC—An architecture for use in multiprocessors

   • T. J. W. Clarke

   Pages 16-33

4. Tim: A simple, lazy abstract machine to execute supercombinators

   • Jon Fairbairn, Stuart Wray

   Pages 34-45

5. The G-machine as a representation of stack semantics

   • David Lester

   Pages 46-59

6. Categorical multi-combinators

   • Rafael D.Lins

   Pages 60-79

7. Evaluating functional programs on the flagship machine

   • Paul Watson, Ian Watson

   Pages 80-97

8. GRIP — a high-performance architecture for parallel graph reduction

   • Simon L Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie

   Pages 98-112

9. Concurrent garbage collection on stock hardware

   • S. C. North, J. H. Reppy

   Pages 113-133

10. Matrix algebra and applicative programming

    • David S. Wise

    Pages 134-153

11. Attribute grammars as a functional programming paradigm

    • Thomas Johnsson

    Pages 154-173

12. The planar topology of functional programs

    • Martine Schlag

    Pages 174-193

13. Functional programming with sets

    • Bharat Jayaraman, David A. Plaisted

    Pages 194-211

14. A theory for natural modelisation and implementation of functions with variable arity

    • Patrick Bellot, Véronique Jay

    Pages 212-233

15. Pomset interpretations of parallel functional programs

    • Paul Hudak, Steve Anderson

    Pages 234-256

16. SIGNAL: A declarative language for synchronous programming of real-time systems

    • Thierry Gautier, Paul Le Guernic, Loïc Besnard

    Pages 257-277

17. Controlling the behaviour of functional language systems

    • John Darlington, Lyndon While

    Pages 278-300

18. A standard ML compiler

    • Andrew W. Appel, David B. MacQueen

    Pages 301-324

19. Performance polymorphism

    • Ian Toyn, Alan Dix, Colin Runciman

    Pages 325-346

20. Mapping a single-assignment language onto the warp systolic array

    • Thomas Gross, Alan Sussman

    Pages 347-363

This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functional languages and particularly implementation techniques for functional programming languages and computer architectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of Functional Programming Languages are now far better understood.

• Clean
• FlagShip
• ML
• Natural
• Standard ML
• computer
• computer architecture
• functional programming
• programming language

Policies and ethics