Neil Jones

Digital Library

ACM Fellows

Denmark - 1998

citation

For outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization.