M. Ronan Sleep

Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172

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)

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997)

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)

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Lambda-Definable Term rewriting Systems. ASIAN 1996: 106-115

M. Ronan Sleep: SEMAGRAPH: the theory and practice of term graph rewriting. Electr. Notes Theor. Comput. Sci. 2: 268-276 (1995)

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)

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Transformation of Orthogonal Term Rewriting Systems. ASIAN 1995: 73-87

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270

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)

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

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

M. Ronan Sleep: Applications of Graph Grammars and Directions for Research. Graph-Grammars and Their Application to Computer Science 1990: 57-60

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

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)

D. L. McBurney, M. Ronan Sleep: Graph Rewriting as a Computational Model. Concurrency: Theory, Language, And Architecture 1989: 235-256

Richard Kennaway, M. Ronan Sleep: Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988)

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)

Richard Kennaway, M. Ronan Sleep: Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24(5): 343-349 (1987)

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

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

D. L. McBurney, M. Ronan Sleep: Transputer-Based Experiments with the ZAPP Architecture. PARLE (1) 1987: 242-259

Robert M. Keller, M. Ronan Sleep: Applicative Caching. ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986)

Richard Kennaway, M. Ronan Sleep: Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems 1983: 222-230

Richard Kennaway, M. Ronan Sleep: Applicative Objects as Processes. ICDCS 1982: 718-723

Richard Kennaway, M. Ronan Sleep: Parallel implementation of functional languages. ICPP 1982: 168-170

Richard Kennaway, M. Ronan Sleep: Expressions as Processes. Symposium on LISP and Functional Programming 1982: 21-28

M. Ronan Sleep, F. Warren Burton: Towards a Zero Assignment Parallel Processor. ICDCS 1981: 80-85

D. B. Arnold, M. Ronan Sleep: Uniform Random Generation of Balanced Parenthesis Strings. ACM Trans. Program. Lang. Syst. 2(1): 122-128 (1980)