M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics

  title={M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics},
  author={Robert Muller},
  journal={ACM Trans. Program. Lang. Syst.},
In this paper we introduce M-LISP, a dialect of LISP designed with an eye toward reconciling LISP's metalinguistic power with the structural style of operational semantics advocated by Plotkin [28]. We begin by reviewing the original definition of LISP [20] in an attempt to clarify the source of its metalinguistic power. We find that it arises from a problematic clause in this definition. We then define the abstract syntax and operational semantics of M-LISP, essentially a hybrid of M… CONTINUE READING


Publications referenced by this paper.

Recognizing quote deemed harmful to eval’s laziness

  • D. ADAMS
  • Private communication
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…