Arrays, non-determinism, side-effects, and parallelism: A functional perspective

This publication has 10 references indexed in Scilit:

• A new array operation
  Published by Springer Nature ,1987
• I-Structures: Data structures for parallel computing
  Published by Springer Nature ,1987
• Para-Functional Programming
  Computer, 1986
• Para-functional programming
  Published by Association for Computing Machinery (ACM) ,1986
• A semantic model of reference counting and its abstraction (detailed summary)
  Published by Association for Computing Machinery (ACM) ,1986
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985
• Design for a multiprocessing heap with on-board reference counting
  Lecture Notes in Computer Science, 1985
• An architecture that efficiently updates associative aggregates in applicative programming languages
  Published by Springer Nature ,1985
• The aggregate update problem in functional programming systems
  Published by Association for Computing Machinery (ACM) ,1985
• The VAL Language: Description and Analysis
  ACM Transactions on Programming Languages and Systems, 1982