A “Functional + Logic” programming language in interpretation-compilation implementation Gang ChengZhang Yun-Zheng OriginalPaper Pages: 133 - 156
A decision procedure for common Lisp'sSUBTYPEP predicate Henry G. Baker OriginalPaper Pages: 157 - 190
Callee-save registers in continuation-passing style Andrew W. AppelZhong Shao OriginalPaper Pages: 191 - 221
A debugging environment for lazy functional languages Guy LapalmeMario Latendresse OriginalPaper Pages: 271 - 287