External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 2, Issue 1

    9 -- 50Neil D. Jones, Peter Sestoft, Harald Søndergaard. Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation
    51 -- 89Hassan Aït-Kaci, Roger Nasr. Integrating Logic and Functional Programming
    runs on