External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 5, Issue 3

    133 -- 156Gang Cheng, Zhang Yun-Zheng. A Functional + Logic Programming Language in Interpretation-Compilation Implementation
    157 -- 190Henry G. Baker. A Decision Procedure for Common Lisp s SUBTYPEP Predicate
    191 -- 221Andrew W. Appel, Zhong Shao. Callee-Save Registers in Continuation-Passing Style
    223 -- 270Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson. Constraint Hierarchies
    271 -- 287Guy Lapalme, Mario Latendresse. A Debugging Environment for Lazy Functional Languages
    runs on