M-LISP: A Representation Independent Dialect of LISP with Reduction Semantics (1989)

by R Muller
Venue:ACM TOPLAS