Abstract is missing.
- Control of parallelism in the Manchester Dataflow MachineCarlos A. Ruggiero, John Sargeant. 1-15
- The D-RISC: An architecture for use in multiprocessorsT. J. W. Clarke. 16-33
- TIM: A simple, lazy abstract machine to execute supercombinatoricsJon Fairbairn, Stuart Wray. 34-45
- The G-machine as a representation of stack semanticsDavid Lester. 46-59
- Categorical multi-combinatorsRafael Dueire Lins. 60-79
- Evaluating functional programs on the FLAGSHIP machinePaul Watson, Ian Watson. 80-97
- GRIP - A high-performance architecture for parallel graph reductionSimon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie. 98-112
- Concurrent garbage collection on stock hardwareStephen C. North, John H. Reppy. 113-133
- Matrix algebra and applicative programmingDavid S. Wise. 134-153
- Attribute grammars as a functional programming paradigmThomas Johnsson. 154-173 [doi]
- The planar topology of functional programsMartine D. F. Schlag. 174-193
- Functional programming with setsBharat Jayaraman, David A. Plaisted. 194-211
- A theory for natural modelisation and implementation of functions with variable arityPatrick Bellot, VĂ©ronique Jay. 212-233
- Pomset interpretations of parallel functional programsPaul Hudak, Steven Anderson. 234-256
- SIGNAL: A declarative language for synchronous programming of real-time systemsThierry Gautier, Paul Le Guernic. 257-277
- Controlling the behaviour of functional language systemsJohn Darlington, R. Lyndon While. 278-300
- A Standard ML compilerAndrew W. Appel, David B. MacQueen. 301-324
- Performance polymorphismIan Toyn, Alan J. Dix, Colin Runciman. 325-346
- Mapping a single-assignment language onto the Warp systolic arrayThomas R. Gross, Alan Sussman. 347-363
- CLEAN: A language for functional graph writingT. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer. 364-384
- Projections for strictness analysisPhilip Wadler, R. J. M. Hughes. 385-407
- Detecting sharing of partial applications in functional programsBenjamin Goldberg. 408-425
- Finding fixed points in finite latticesChris Martin, Chris Hankin. 426-445
- Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract)Geoffrey L. Burn. 446-470