Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs

This publication has 10 references indexed in Scilit:

• Storage management in virtual tree machines
  IEEE Transactions on Computers, 1988
• A linear space translation of functional programs to Turner combinators
  Information Processing Letters, 1982
• A System for Assisting Program Transformation
  ACM Transactions on Programming Languages and Systems, 1982
• The VAL Language: Description and Analysis
  ACM Transactions on Programming Languages and Systems, 1982
• Using Annotations to Make Recursion Equations Behave
  IEEE Transactions on Software Engineering, 1982
• An efficient interpreter for the lambda-calculus
  Journal of Computer and System Sciences, 1981
• Data Flow Supercomputers
  Computer, 1980
• Performance of a Simulated Dataflow Computer
  IEEE Transactions on Computers, 1980
• A new implementation technique for applicative languages
  Software: Practice and Experience, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978