John Hannan Patrick Hicks Higher-Order UnCurrying. 179-216 2000 13 Higher-Order and Symbolic Computation 3 db/journals/lisp/lisp13.html#HannanH00