 | 2005 |
|---|
| 29 |       | Richard Kennaway,
Paula Severi,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles 2005: 148-172 |
| 1997 |
|---|
| 28 | | John R. W. Glauert,
Richard Kennaway,
George A. Papadopoulos,
M. Ronan Sleep:
Dactl: an experimental graph rewriting language.
J. Prog. Lang. 5(1): 85-108 (1997) |
| 27 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculus.
Theor. Comput. Sci. 175(1): 93-125 (1997) |
| 1996 |
|---|
| 26 |  | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Lambda-Definable Term rewriting Systems.
ASIAN 1996: 106-115 |
| 25 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Comparing Curried and Uncurried Rewriting.
J. Symb. Comput. 21(1): 15-39 (1996) |
| 1995 |
|---|
| 24 | | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems.
ASIAN 1995: 73-87 |
| 23 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models.
RTA 1995: 257-270 |
| 22 | | M. Ronan Sleep:
SEMAGRAPH: the theory and practice of term graph rewriting.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 21 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Transfinite Reductions in Orthogonal Term Rewriting Systems
Inf. Comput. 119(1): 18-38 (1995) |
| 1994 |
|---|
| 20 | | Zena M. Ariola,
Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Syntactic Definitions of Undefined: On Defining the Undefined.
TACS 1994: 543-554 |
| 19 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
ACM Trans. Program. Lang. Syst. 16(3): 493-523 (1994) |
| 1991 |
|---|
| 18 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).
RTA 1991: 1-12 |
| 1990 |
|---|
| 17 | | John R. W. Glauert,
Richard Kennaway,
M. Ronan Sleep:
Dactl: An Experimental Graph Rewriting Language.
Graph-Grammars and Their Application to Computer Science 1990: 378-395 |
| 16 | | M. Ronan Sleep:
Applications of Graph Grammars and Directions for Research.
Graph-Grammars and Their Application to Computer Science 1990: 57-60 |
| 1989 |
|---|
| 15 | | D. L. McBurney,
M. Ronan Sleep:
Graph Rewriting as a Computational Model.
Concurrency: Theory, Language, And Architecture 1989: 235-256 |
| 14 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
John R. W. Glauert,
Richard Kennaway,
M. Ronan Sleep:
LEAN: an intermediate language based on graph rewriting.
Parallel Computing 9(2): 163-177 (1989) |
| 1988 |
|---|
| 13 | | Richard Kennaway,
M. Ronan Sleep:
Director Strings as Combinators.
ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988) |
| 1987 |
|---|
| 12 | | D. L. McBurney,
M. Ronan Sleep:
Transputer-Based Experiments with the ZAPP Architecture.
PARLE (1) 1987: 242-259 |
| 11 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
John R. W. Glauert,
Richard Kennaway,
Marinus J. Plasmeijer,
M. Ronan Sleep:
Term Graph Rewriting.
PARLE (2) 1987: 141-158 |
| 10 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
John R. W. Glauert,
Richard Kennaway,
Marinus J. Plasmeijer,
M. Ronan Sleep:
Towards an Intermediate Language based on Graph Rewriting.
PARLE (2) 1987: 159-175 |
| 9 | | Hendrik Pieter Barendregt,
Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep:
Needed Reduction and Spine Strategies for the Lambda Calculus
Inf. Comput. 75(3): 191-231 (1987) |
| 8 | | Richard Kennaway,
M. Ronan Sleep:
Variable Abstraction in O(n log n) Space.
Inf. Process. Lett. 24(5): 343-349 (1987) |
| 1986 |
|---|
| 7 | | Robert M. Keller,
M. Ronan Sleep:
Applicative Caching.
ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986) |
| 1983 |
|---|
| 6 | | Richard Kennaway,
M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language.
The Analysis of Concurrent Systems 1983: 222-230 |
| 1982 |
|---|
| 5 | | Richard Kennaway,
M. Ronan Sleep:
Applicative Objects as Processes.
ICDCS 1982: 718-723 |
| 4 | | Richard Kennaway,
M. Ronan Sleep:
Parallel implementation of functional languages.
ICPP 1982: 168-170 |
| 3 | | Richard Kennaway,
M. Ronan Sleep:
Expressions as Processes.
Symposium on LISP and Functional Programming 1982: 21-28 |
| 1981 |
|---|
| 2 | | M. Ronan Sleep,
F. Warren Burton:
Towards a Zero Assignment Parallel Processor.
ICDCS 1981: 80-85 |
| 1980 |
|---|
| 1 | | D. B. Arnold,
M. Ronan Sleep:
Uniform Random Generation of Balanced Parenthesis Strings.
ACM Trans. Program. Lang. Syst. 2(1): 122-128 (1980) |
