M. Ronan Sleep

34 papers A 2B 1Journal 12Unranked 18

Year	Rank	Type	Title / Venue / Authors
2005	—	`conf`	Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
1997	J	`jnl`	Dactl: an experimental graph rewriting language. J. Program. Lang. John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep
1997	J	`jnl`	Infinitary Lambda Calculus. Theor. Comput. Sci. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996	J	`jnl`	Comparing Curried and Uncurried Rewriting. J. Symb. Comput. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996	—	`conf`	Lambda-Definable Term rewriting Systems. ASIAN Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1995	—	`conf`	Infinitary Lambda Calculi and Böhm Models. RTA Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995	—	`conf`	SEMAGRAPH: the theory and practice of term graph rewriting. SEGRAGRA M. Ronan Sleep
1995	J	`jnl`	Transfinite Reductions in Orthogonal Term Rewriting Systems Inf. Comput. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995	—	`conf`	Transformation of Orthogonal Term Rewriting Systems. ASIAN Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1994	J	`jnl`	On the Adequacy of Graph Rewriting for Simulating Term Rewriting. ACM Trans. Program. Lang. Syst. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1994	—	`conf`	Syntactic Definitions of Undefined: On Defining the Undefined. TACS Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1991	—	`conf`	Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1990	—	`conf`	Applications of Graph Grammars and Directions for Research. Graph-Grammars and Their Application to Computer Science M. Ronan Sleep
1990	—	`conf`	Dactl: An Experimental Graph Rewriting Language. Graph-Grammars and Their Application to Computer Science John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1989	—	`conf`	Graph Rewriting as a Computational Model. Concurrency: Theory, Language, And Architecture D. L. McBurney, M. Ronan Sleep
1989	J	`jnl`	LEAN: an intermediate language based on graph rewriting. Parallel Comput. Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1988	J	`jnl`	Director Strings as Combinators. ACM Trans. Program. Lang. Syst. Richard Kennaway, M. Ronan Sleep
1988	—	`conf`	Transputers + virtual tree kernel = real speedups. C³P D. L. McBurney, M. Ronan Sleep
1987	J	`jnl`	Needed Reduction and Spine Strategies for the Lambda Calculus Inf. Comput. Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
1987	—	`conf`	Term Graph Rewriting. PARLE (2) Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987	—	`conf`	Towards an Intermediate Language based on Graph Rewriting. PARLE (2) Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987	—	`conf`	Transputer-Based Experiments with the ZAPP Architecture. PARLE (1) D. L. McBurney, M. Ronan Sleep
1987	J	`jnl`	Variable Abstraction in O(n log n) Space. Inf. Process. Lett. Richard Kennaway, M. Ronan Sleep
1986	J	`jnl`	Applicative Caching. ACM Trans. Program. Lang. Syst. Robert M. Keller, M. Ronan Sleep
1983	J	`jnl`	Novel architectures for declarative languages. Softw. Microsystems J. Richard Kennaway, M. Ronan Sleep
1983	—	`conf`	Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems Richard Kennaway, M. Ronan Sleep
1982	A	`conf`	Applicative Objects as Processes. ICDCS Richard Kennaway, M. Ronan Sleep
1982	—	`conf`	Expressions as Processes. Symposium on LISP and Functional Programming Richard Kennaway, M. Ronan Sleep
1982	B	`conf`	Parallel implementation of functional languages. ICPP Richard Kennaway, M. Ronan Sleep
1981	—	`conf`	Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages. FPCA Robert M. Keller, M. Ronan Sleep
1981	—	`conf`	Executing functional programs on a virtual tree of processors. FPCA F. Warren Burton, M. Ronan Sleep
1981	A	`conf`	Towards a Zero Assignment Parallel Processor. ICDCS M. Ronan Sleep, F. Warren Burton
1980	J	`jnl`	Uniform Random Generation of Balanced Parenthesis Strings. ACM Trans. Program. Lang. Syst. D. B. Arnold, M. Ronan Sleep
1975	—	`—`	The extraction of heuristic information from a special class of state space representations. M. Ronan Sleep