Semantics directed compiling for functional languages (1986)

by H R Nielson, F Nielson
Venue:In Proceedings of 1986 ACM Conference on LISP and Functional Programming