External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 3, Issue 4

    343 -- 380Andrew W. Appel. A Runtime System
    381 -- 409R. Ghosh-Roy. Conjunction-Type Standard ML Polymorphism
    runs on