A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation.

Gang Cheng Zhang Yun-Zheng A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation. 133-156 1992 5 Lisp and Symbolic Computation 3 db/journals/lisp/lisp5.html#ChengY92