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