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

Authors:
F. Warren Burton
Affiliations:
Department of Electrical Engineering and Computer Science, University of Colorado at Denver, Denver, CO
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1984

A System for Assisting Program Transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Functional Programming

Functional Programming
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Storage Management in Virtual Tree Machines

IEEE Transactions on Computers
SKIM - The S, K, I reduction machine

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A lazy evaluator

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Functional programming with combinators

Journal of Symbolic Computation
Programming languages for distributed computing systems

ACM Computing Surveys (CSUR)
Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)
Implementing Remote Evaluation

IEEE Transactions on Software Engineering
Remote evaluation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programming with control abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
First-class schedules and virtual maps

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Mechanisms for efficient multiprocessor combinator reduction

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Para-functional programming: a paradigm for programming multiprocessor systems

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Exploring Parafunctional Programming: Separating the What from the How

IEEE Software
Functional Programming with Quadtrees

IEEE Software
Algorithm + strategy = parallelism

Journal of Functional Programming
First-class monadic schedules

ACM Transactions on Programming Languages and Systems (TOPLAS)

Hi-index	0.00