Concepedia

M. R. Sleep

MR

Statistics

Publications

13

Citations

620

H-Index

12

Active since

1980

Affiliations

University of East Anglia(Current)

Radboud University Nijmegen

University of Utah

Centrum Wiskunde & Informatica

M. R. Sleep is an author at University of East Anglia specializing in computing, computer science, and compilers.

Publications per year

1980–1997

13

Publications

13

Executing functional programs on a virtual tree of processors

F. Warren Burton, M. R. Sleep · 1981 · 197 citations · Full text

Computing, Computer Science, Computer Architecture +14

Infinitary lambda calculus

Richard Kennaway, Jan Willem Klop, M. R. Sleep et al. · Theoretical Computer Science · 1997 · 115 citations · Full text

On the adequacy of graph rewriting for simulating term rewriting

Richard Kennaway, Jan Willem Klop, M. R. Sleep et al. · ACM Transactions on Programming Languages and Systems · 1994 · 68 citations · Full text

Computing, Computer Science, Computer Systems +11

Needed reduction and spine strategies for the lambda calculus

Henk Barendregt, Richard Kennaway, Jan Willem Klop et al. · Information and Computation · 1987 · 61 citations

Natural Sciences, Mathematics, Philosophy Of Mathematics +4

Uniform Random Generation of Balanced Parenthesis Strings

David Arnold, M. R. Sleep · ACM Transactions on Programming Languages and Systems · 1980 · 36 citations

Computing, Computer Science, Algorithms +11

1–5 of 13