Mark P. Jones Dictionary-Free Overloading by Partial Evaluation. 229-248 1995 8 Lisp and Symbolic Computation 3 db/journals/lisp/lisp8.html#Jones95