M. Ronan Sleep

George A. Papadopoulos

J. Program. Lang., 1997

1996

Comparing Curried and Uncurried Rewriting.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

Lambda-Definable Term rewriting Systems.

[BibT_eX]

[DOI]

Sugwoo Byun

Proceedings of the Concurrency and Parallelism, 1996

1995

Transfinite Reductions in Orthogonal Term Rewriting Systems

[BibT_eX]

[DOI]

Inf. Comput., May, 1995

SEMAGRAPH: the theory and practice of term graph rewriting.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Infinitary Lambda Calculi and Böhm Models.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Transformation of Orthogonal Term Rewriting Systems.

[BibT_eX]

[DOI]

Sugwoo Byun

Proceedings of the Algorithms, 1995

1994

On the Adequacy of Graph Rewriting for Simulating Term Rewriting.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Syntactic Definitions of Undefined: On Defining the Undefined.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

1991

Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Applications of Graph Grammars and Directions for Research.

[BibT_eX]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Dactl: An Experimental Graph Rewriting Language.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989

LEAN: an intermediate language based on graph rewriting.

[BibT_eX]

[DOI]

Marko C. J. D. van Eekelen

Marinus J. Plasmeijer

Parallel Comput., 1989

Graph Rewriting as a Computational Model.

[BibT_eX]

[DOI]

D. L. McBurney

Proceedings of the Concurrency: Theory, 1989

1988

Director Strings as Combinators.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1988

Transputers + virtual tree kernel = real speedups.

[BibT_eX]

[DOI]

D. L. McBurney

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987

Needed Reduction and Spine Strategies for the Lambda Calculus

[BibT_eX]

[DOI]

Jan Willem Klop

Inf. Comput., December, 1987

Variable Abstraction in O(n log n) Space.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1987

Transputer-Based Experiments with the ZAPP Architecture.

[BibT_eX]

[DOI]

D. L. McBurney

Proceedings of the PARLE, 1987

Towards an Intermediate Language based on Graph Rewriting.

[BibT_eX]

[DOI]

Marko C. J. D. van Eekelen

Marinus J. Plasmeijer

Proceedings of the PARLE, 1987

Term Graph Rewriting.

[BibT_eX]

[DOI]

Marko C. J. D. van Eekelen

Marinus J. Plasmeijer

Proceedings of the PARLE, 1987

1986

Applicative Caching.

[BibT_eX]

[DOI]

Robert M. Keller

ACM Trans. Program. Lang. Syst., 1986

1983

Novel architectures for declarative languages.

[BibT_eX]

[DOI]

J. Richard Kennaway

Softw. Microsystems, 1983

Syntax and informal semantics of DyNe, a parallel language.

[BibT_eX]

[DOI]

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Expressions as Processes.

[BibT_eX]

[DOI]

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

Parallel implementation of functional languages.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1982

Applicative Objects as Processes.

[BibT_eX]

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Towards a Zero Assignment Parallel Processor.

[BibT_eX]

F. Warren Burton

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages.

[BibT_eX]

[DOI]

Robert M. Keller

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Executing functional programs on a virtual tree of processors.

[BibT_eX]

[DOI]

F. Warren Burton

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Uniform Random Generation of Balanced Parenthesis Strings.

[BibT_eX]

[DOI]

D. B. Arnold

ACM Trans. Program. Lang. Syst., 1980

1975

The extraction of heuristic information from a special class of state space representations.

[BibT_eX]

[DOI]